rust-lang / a-mir-formalityLinks
a model of MIR and the Rust type/trait system
☆313Updated 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☆759Updated last week
- Define compiler intermediate representation usable by external tools☆79Updated last week
- Home of the Allocators working group: Paving a path for a standard set of allocator traits to be used in collections!☆232Updated 4 years ago
- Compile-time reference counting☆457Updated 3 months ago
- Home of the "types team", affiliated with the compiler and lang teams.☆97Updated last year
- An implementation of Joshua Yanovski's Ghost Cell paper.☆481Updated last year
- An implementation of union-find / congruence-closure in Rust. Extracted from rustc for independent experimentation.☆161Updated last year
- property testing and verification front-end for Rust☆216Updated 2 weeks ago
- A framework for writing plugins that integrate with the Rust compiler☆153Updated 4 months ago
- Manual segmented stacks for Rust☆318Updated 4 months ago
- Library for snippet annotations☆326Updated last week
- Verifying the Rust standard library☆267Updated this week
- Interface with the rustc compiler for the purpose of program verification☆184Updated last week
- Wadler-style pretty-printing combinators in Rust☆162Updated 5 months ago
- A pure functional language for type-level programming in Rust☆334Updated 2 years ago
- An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematic…☆353Updated 2 weeks ago
- Count lines of LLVM IR per generic function☆468Updated this week
- ☆160Updated 5 months ago
- home for proposals in and around compile-time function evaluation☆110Updated 2 years ago
- Public repository for the Rust keyword generics initiative☆106Updated last year
- A new register allocator☆234Updated last month
- A fast, concurrent string interner☆151Updated last year
- Overview of the Tree Borrows rules for detecting violations of the aliasing discipline in Rust☆26Updated last year
- Minimalistic snapshot testing for Rust.☆288Updated 8 months ago
- Logic programming in Rust☆481Updated 3 months ago
- Rust Code Reading Clubs☆140Updated 3 years ago
- Execute Rust code carefully, with extra checking along the way☆447Updated this week
- Rust grammar tool libraries and binaries☆551Updated 2 months ago
- RVT is a collection of tools/libraries to support both static and dynamic verification of Rust programs.☆276Updated 3 years ago
- A precise specification for "Rust lite / MIR plus"☆922Updated this week