rust-lang / a-mir-formality
a model of MIR and the Rust type/trait system
☆299Updated 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
Sorting:
- Refinement Types for Rust☆731Updated this week
- An implementation of Joshua Yanovski's Ghost Cell paper.☆467Updated last year
- Compile-time reference counting☆445Updated last year
- property testing and verification front-end for Rust☆202Updated last week
- 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☆314Updated last week
- An implementation of union-find / congruence-closure in Rust. Extracted from rustc for independent experimentation.☆156Updated last year
- Count lines of LLVM IR per generic function☆442Updated 3 months ago
- Execute Rust code carefully, with extra checking along the way☆411Updated last week
- Manual segmented stacks for Rust☆306Updated 3 weeks ago
- Define compiler intermediate representation usable by external tools☆74Updated 10 months ago
- Home of the "types team", affiliated with the compiler and lang teams.☆95Updated last year
- Logic programming in Rust☆466Updated this week
- Safe, fallible, embedded-friendly ordered set/map via a scapegoat tree. Validated against BTreeSet/BTreeMap.☆260Updated 3 years ago
- Wadler-style pretty-printing combinators in Rust☆158Updated 2 months ago
- Ensure correct assumptions about constants, types, and more in Rust☆616Updated last year
- ☆143Updated 2 months ago
- An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematic…☆337Updated 2 weeks ago
- A precise specification for "Rust lite / MIR plus"☆851Updated last week
- A new register allocator☆232Updated last week
- A framework for writing plugins that integrate with the Rust compiler☆151Updated last month
- Statically-checked alternatives to RefCell and RwLock☆367Updated 10 months ago
- A pure functional language for type-level programming in Rust☆327Updated 2 years ago
- cargo subcommand showing the assembly, LLVM-IR and MIR generated for Rust code☆805Updated 3 weeks ago
- Capability-oriented version of the Rust standard library☆684Updated 3 weeks ago
- ☆316Updated 6 months ago
- Fast, efficient, and robust memory reclamation for Rust.☆414Updated 2 months ago
- Experiments with structured concurrency in Rust☆364Updated 9 months ago
- Support crate for rustc's self-profiling feature☆351Updated 3 months ago
- Incremental garbage collection from safe Rust☆701Updated 2 weeks ago