rust-lang / a-mir-formality
a model of MIR and the Rust type/trait system
☆297Updated 2 weeks 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
- Compile-time reference counting☆442Updated last year
- Refinement Types for Rust☆706Updated this 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
- An implementation of union-find / congruence-closure in Rust. Extracted from rustc for independent experimentation.☆153Updated 10 months ago
- An implementation of Joshua Yanovski's Ghost Cell paper.☆459Updated last year
- property testing and verification front-end for Rust☆200Updated last week
- A meta-JIT library for Rust interpreters☆162Updated 2 years ago
- ☆130Updated 3 weeks ago
- A new register allocator☆227Updated 3 months ago
- Define compiler intermediate representation usable by external tools☆71Updated 9 months ago
- Manual segmented stacks for Rust☆301Updated 2 weeks ago
- Logic programming in Rust☆457Updated last month
- Library for snippet annotations☆311Updated this week
- A framework for writing plugins that integrate with the Rust compiler☆144Updated 3 weeks ago
- A precise specification for "Rust lite / MIR plus"☆842Updated 2 weeks ago
- A fast, concurrent string interner☆149Updated 7 months ago
- Incremental garbage collection from safe Rust☆658Updated last week
- Count lines of LLVM IR per generic function☆437Updated 2 months ago
- ☆478Updated 5 months ago
- cargo subcommand showing the assembly, LLVM-IR and MIR generated for Rust code☆788Updated 2 weeks ago
- A pure functional language for type-level programming in Rust☆326Updated 2 years ago
- Minimalistic snapshot testing for Rust.☆263Updated 3 months ago
- Experiments with structured concurrency in Rust☆355Updated 8 months ago
- Experimental one-shot benchmarking/profiling harness for Rust☆602Updated 7 months ago
- Home of the "types team", affiliated with the compiler and lang teams.☆96Updated last year
- Programming Languages Intermediate Representation☆150Updated last week
- Safe, fallible, embedded-friendly ordered set/map via a scapegoat tree. Validated against BTreeSet/BTreeMap.☆259Updated 3 years ago
- Capability-oriented version of the Rust standard library☆680Updated last week
- Rust String Libraries by mcyoung☆177Updated 2 months ago
- Rust bindings for the Z3 solver.☆381Updated 3 months ago