rust-lang / a-mir-formality
a model of MIR and the Rust type/trait system
☆282Updated last month
Related projects: ⓘ
- Refinement Types for Rust☆639Updated this week
- Home of the Allocators working group: Paving a path for a standard set of allocator traits to be used in collections!☆209Updated 3 years ago
- Compile-time reference counting☆428Updated last year
- An implementation of Joshua Yanovski's Ghost Cell paper.☆438Updated 7 months ago
- Library for snippet annotations☆262Updated last week
- Manual segmented stacks for Rust☆277Updated 2 weeks ago
- A fast, concurrent string interner☆137Updated last month
- property testing and verification front-end for Rust☆181Updated 2 weeks ago
- Home of the "types team", affiliated with the compiler and lang teams.☆95Updated 11 months ago
- Count lines of LLVM IR per generic function☆402Updated 2 weeks ago
- Capability-oriented version of the Rust standard library☆649Updated 3 weeks ago
- Safe, fallible, embedded-friendly ordered set/map via a scapegoat tree. Validated against BTreeSet/BTreeMap.☆248Updated 2 years ago
- A meta-JIT library for Rust interpreters☆158Updated last year
- An implementation of union-find / congruence-closure in Rust. Extracted from rustc for independent experimentation.☆147Updated 4 months ago
- A pure functional language for type-level programming in Rust☆320Updated last year
- Incremental garbage collection from safe Rust☆498Updated last week
- logic programming in Rust☆387Updated 2 months ago
- A special input type for nom to locate tokens☆218Updated 8 months ago
- Rust Code Reading Clubs☆142Updated 2 years ago
- Fast, efficient, and robust memory reclamation for Rust.☆340Updated 2 months ago
- Statically-checked alternatives to RefCell and RwLock☆356Updated 2 months ago
- Experimental one-shot benchmarking/profiling harness for Rust☆576Updated last month
- Execute Rust code carefully, with extra checking along the way☆376Updated last month
- A framework for writing plugins that integrate with the Rust compiler☆133Updated last month
- Support crate for rustc's self-profiling feature☆333Updated 3 months ago
- Define compiler intermediate representation usable by external tools☆57Updated 2 months ago
- ☆696Updated last month
- A new register allocator☆209Updated last week
- ☆307Updated 5 months ago
- Wadler-style pretty-printing combinators in Rust☆142Updated 11 months ago