rust-lang / a-mir-formalityLinks
a model of MIR and the Rust type/trait system
☆301Updated 2 months ago
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☆738Updated this week
- Compile-time reference counting☆448Updated 2 weeks ago
- Define compiler intermediate representation usable by external tools☆74Updated 11 months ago
- Home of the Allocators working group: Paving a path for a standard set of allocator traits to be used in collections!☆222Updated 4 years ago
- Home of the "types team", affiliated with the compiler and lang teams.☆96Updated last year
- Capability-oriented version of the Rust standard library☆689Updated last month
- property testing and verification front-end for Rust☆205Updated 2 weeks ago
- Count lines of LLVM IR per generic function☆445Updated 4 months ago
- Manual segmented stacks for Rust☆307Updated last month
- Library for snippet annotations☆314Updated this week
- A framework for writing plugins that integrate with the Rust compiler☆151Updated last month
- An implementation of union-find / congruence-closure in Rust. Extracted from rustc for independent experimentation.☆158Updated last year
- A fast, concurrent string interner☆150Updated 9 months ago
- Execute Rust code carefully, with extra checking along the way☆416Updated last week
- Support crate for rustc's self-profiling feature☆351Updated 3 months ago
- An implementation of Joshua Yanovski's Ghost Cell paper.☆468Updated last year
- cargo subcommand showing the assembly, LLVM-IR and MIR generated for Rust code☆815Updated last week
- ☆487Updated 7 months ago
- Wadler-style pretty-printing combinators in Rust☆158Updated 2 months ago
- An unofficial, experimental place for documenting and gathering feedback on the design problems around Rust's orphan rules☆211Updated 6 years ago
- A new register allocator☆229Updated 3 weeks ago
- A precise specification for "Rust lite / MIR plus"☆867Updated 2 weeks ago
- A graphical debugger for Rust MIR☆190Updated 2 years ago
- Public repository for the Rust keyword generics initiative☆100Updated 9 months ago
- A special input type for nom to locate tokens☆233Updated 4 months ago
- Safe cross-platform linker shenanigans☆740Updated 2 weeks ago
- Compile time numbers in Rust.☆548Updated this week
- Minimalistic snapshot testing for Rust.☆274Updated 5 months ago
- ☆751Updated last month
- Statically-checked alternatives to RefCell and RwLock☆367Updated 11 months ago