rust-lang / a-mir-formalityLinks
a model of MIR and the Rust type/trait system
☆309Updated 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☆755Updated this week
- An implementation of union-find / congruence-closure in Rust. Extracted from rustc for independent experimentation.☆161Updated last year
- Define compiler intermediate representation usable by external tools