flux-rs / fluxLinks
Refinement Types for Rust
☆740Updated 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,285Updated this week
- a model of MIR and the Rust type/trait system☆305Updated 3 months ago
- A static verifier for Rust, based on the Viper verification infrastructure.☆1,646Updated this week
- A precise specification for "Rust lite / MIR plus"☆874Updated last week
- ☆753Updated last week
- Incremental garbage collection from safe Rust☆726Updated last month
- Making parsing a breeze☆741Updated last week
- Beautiful diagnostic reporting for text-based programming languages.☆1,189Updated last week
- Algebraic effects for Rust☆618Updated 11 months ago
- Language development libraries for Rust☆960Updated 6 months ago
- Rust grammar tool libraries and binaries☆548Updated last week
- Use Tree Sitter to parse your own languages in Rust☆650Updated last month
- An implementation and definition of the Rust trait system using a PROLOG-like logic solver☆1,940Updated 3 weeks ago
- cargo subcommand showing the assembly, LLVM-IR and MIR generated for Rust code☆820Updated this week
- An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematic…☆342Updated 3 weeks ago
- Logic programming in Rust☆470Updated last month
- Defines the Rust borrow checker.☆1,452Updated 2 weeks ago
- Rust bindings for the Z3 solver.☆399Updated 6 months ago
- Compile-time reference counting☆450Updated last month
- LLVM IR in natural Rust data structures☆613Updated 3 weeks ago
- Attribute macro to require that the compiler prove a function can't ever panic☆1,132Updated 3 months ago
- Rust programs written entirely in Rust☆842Updated last month
- Kani Rust Verifier☆2,580Updated this week
- Compile-time reflection API for developing robust procedural macros (proof of concept)☆749Updated last month
- An implementation of Joshua Yanovski's Ghost Cell paper.☆469Updated last year
- A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.☆2,445Updated this week
- Fast and simple benchmarking for Rust projects☆1,155Updated 2 months ago
- Hypothesis-like property testing for Rust☆1,889Updated this week
- Datalog compiler embedded in Rust as a procedural macro☆474Updated last year
- Experimental one-shot benchmarking/profiling harness for Rust☆613Updated 10 months ago