flux-rs

Popular repositories Loading

1. flux flux Public

   Refinement Types for Rust

   Rust 941 49

2. flux-demo flux-demo Public

   Small examples that demonstrate how flux works

   Rust 6 1

3. examples examples Public

   Some simple snippets illustrating possible use-cases

   Rust 3 1

4. flux-rs.github.io flux-rs.github.io Public

   Webpage for Flux

   HTML 2

5. wave wave Public

   Forked from PLSysSec/wave

   Verified Wasm runtime

   Rust 2 1

6. flux-to-lean-demo flux-to-lean-demo Public

   Tiny repository demonstrating FLEX: makes Flux's refinements expressive using Lean.

   Lean 2 2