rust-lang / a-mir-formalityLinks
a model of MIR and the Rust type/trait system
☆325Updated last week
Alternatives and similar repositories for a-mir-formality
Users that are interested in a-mir-formality are comparing it to the libraries listed below
Sorting:
- Refinement Types for Rust☆825Updated this week
- Home of the Allocators working group: Paving a path for a standard set of allocator traits to be used in collections!☆237Updated 4 years ago
- An implementation of union-find / congruence-closure in Rust. Extracted from rustc for independent experimentation.☆166Updated last year
- Define compiler intermediate representation usable by external tools☆102Updated 2 months ago
- Analyze Rust crates without touching compiler internals☆287Updated this week
- Compile-time reference counting☆457Updated 8 months ago
- An implementation of Joshua Yanovski's Ghost Cell paper.☆499Updated 2 years ago
- Home of the "types team", affiliated with the compiler and lang teams.☆97Updated 2 years ago
- property testing and verification front-end for Rust☆229Updated 2 weeks ago
- Wadler-style pretty-printing combinators in Rust☆175Updated 4 months ago
- Manual segmented stacks for Rust☆334Updated this week
- An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematic…☆368Updated last week
- A framework for writing plugins that integrate with the Rust compiler☆163Updated 4 months ago
- A fast, concurrent string interner☆164Updated last year
- Library for snippet annotations☆481Updated last week
- Verifying the Rust standard library☆322Updated last week
- Count lines of LLVM IR per generic function☆497Updated last month
- A meta-JIT library for Rust interpreters☆164Updated 2 years ago
- Minimalistic snapshot testing for Rust.☆300Updated last year
- Append-only collections for Rust where borrows to entries can outlive insertions☆273Updated 2 weeks ago
- Execute Rust code carefully, with extra checking along the way☆476Updated last month
- Compile time numbers in Rust.☆573Updated 3 months ago
- ☆813Updated 6 months ago
- home for proposals in and around compile-time function evaluation☆113Updated 2 months ago
- ☆198Updated 11 months ago
- A pure functional language for type-level programming in Rust☆338Updated 3 years ago
- A graphical debugger for Rust MIR☆199Updated 3 years ago
- Capability-oriented version of the Rust standard library☆744Updated 3 weeks ago
- Logic programming in Rust☆529Updated 3 months ago
- Safe, fallible, embedded-friendly ordered set/map via a scapegoat tree. Validated against BTreeSet/BTreeMap.☆263Updated 4 years ago