flux-rs / fluxLinks
Refinement Types for Rust
☆738Updated this week
Alternatives and similar repositories for flux
Users that are interested in flux are comparing it to the libraries listed below
Sorting:
- Creusot helps you prove your code is correct in an automated fashion.☆1,272Updated last week
- A precise specification for "Rust lite / MIR plus"☆868Updated last week
- a model of MIR and the Rust type/trait system☆301Updated 2 months ago
- A static verifier for Rust, based on the Viper verification infrastructure.☆1,646Updated 2 weeks ago
- Algebraic effects for Rust☆614Updated 11 months ago
- Use Tree Sitter to parse your own languages in Rust☆648Updated 3 weeks ago
- ☆751Updated 3 weeks ago
- Logic programming in Rust☆466Updated 3 weeks ago
- Making parsing a breeze☆734Updated 3 weeks ago
- Incremental garbage collection from safe Rust☆716Updated last month
- cargo subcommand showing the assembly, LLVM-IR and MIR generated for Rust code☆815Updated last week
- Scan your Rust crate for semver violations.☆1,391Updated last week
- Rust programs written entirely in Rust☆833Updated last month
- Attribute macro to require that the compiler prove a function can't ever panic☆1,132Updated 2 months ago
- Defines the Rust borrow checker.☆1,443Updated 11 months ago
- Language development libraries for Rust☆953Updated 5 months ago
- An implementation of Joshua Yanovski's Ghost Cell paper.☆468Updated last year
- Compile-time reference counting☆448Updated 2 weeks ago
- Beautiful diagnostic reporting for text-based programming languages.☆1,186Updated last month
- Compile-time reflection API for developing robust procedural macros (proof of concept)☆746Updated 2 weeks ago
- An implementation and definition of the Rust trait system using a PROLOG-like logic solver☆1,932Updated this week
- A fast bump allocation arena for Rust☆1,753Updated this week
- Easy self-referential struct generation for Rust.☆614Updated 4 months ago
- Hypothesis-like property testing for Rust☆1,880Updated this week
- Rust grammar tool libraries and binaries☆548Updated last week
- Typed distributed plugin registration☆1,113Updated 2 months ago
- An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematic…☆342Updated 2 weeks ago
- Kani Rust Verifier☆2,557Updated this week
- Funktional generic type-level programming in Rust: HList, Coproduct, Generic, LabelledGeneric, Validated, Monoid and friends.☆1,349Updated 2 months ago
- Fast and simple benchmarking for Rust projects☆1,154Updated last month