rust-lang / a-mir-formality
a model of MIR and the Rust type/trait system
☆298Updated last month
Alternatives and similar repositories for a-mir-formality:
Users that are interested in a-mir-formality are comparing it to the libraries listed below
- Refinement Types for Rust☆723Updated this week
- Compile-time reference counting☆442Updated last year
- Home of the Allocators working group: Paving a path for a standard set of allocator traits to be used in collections!☆221Updated 4 years ago
- Library for snippet annotations☆313Updated last week
- property testing and verification front-end for Rust☆202Updated last week
- An implementation of Joshua Yanovski's Ghost Cell paper.☆461Updated last year
- Define compiler intermediate representation usable by external tools☆73Updated 10 months ago
- Home of the "types team", affiliated with the compiler and lang teams.☆95Updated last year
- ☆747Updated last month
- An implementation of union-find / congruence-closure in Rust. Extracted from rustc for independent experimentation.☆155Updated 11 months ago
- Manual segmented stacks for Rust☆305Updated last month
- A new register allocator☆229Updated last week
- Logic programming in Rust☆461Updated last month
- Count lines of LLVM IR per generic function☆440Updated 2 months ago
- Wadler-style pretty-printing combinators in Rust☆155Updated last month
- Execute Rust code carefully, with extra checking along the way☆407Updated 8 months ago
- ☆479Updated 6 months ago
- A precise specification for "Rust lite / MIR plus"☆843Updated last week
- A pure functional language for type-level programming in Rust☆326Updated 2 years ago
- ☆138Updated last month
- Fast, efficient, and robust memory reclamation for Rust.☆410Updated 2 months ago
- Incremental garbage collection from safe Rust☆680Updated 3 weeks ago
- ☆316Updated 5 months ago
- A fast, concurrent string interner☆149Updated 8 months ago
- Experiments with structured concurrency in Rust☆361Updated 9 months ago
- A framework for writing plugins that integrate with the Rust compiler☆147Updated 2 weeks ago
- Rust String Libraries by mcyoung☆183Updated 2 months ago
- A meta-JIT library for Rust interpreters☆162Updated 2 years ago
- Ensure correct assumptions about constants, types, and more in Rust☆614Updated last year
- Easy self-referential struct generation for Rust.☆603Updated 3 months ago