rust-lang / a-mir-formalityLinks
a model of MIR and the Rust type/trait system
☆307Updated this week
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☆741Updated this week
- Home of the Allocators working group: Paving a path for a standard set of allocator traits to be used in collections!☆225Updated 4 years ago
- Compile-time reference counting☆451Updated last month
- Library for snippet annotations☆315Updated this week
- Define compiler intermediate representation usable by external tools☆75Updated last year
- Count lines of LLVM IR per generic function☆456Updated 5 months ago
- An implementation of union-find / congruence-closure in Rust. Extracted from rustc for independent experimentation.☆157Updated last year
- Home of the "types team", affiliated with the compiler and lang teams.☆96Updated last year
- property testing and verification front-end for Rust☆209Updated last week
- Manual segmented stacks for Rust☆308Updated 2 months ago
- Execute Rust code carefully, with extra checking along the way☆420Updated 2 weeks ago
- A precise specification for "Rust lite / MIR plus"☆874Updated 2 weeks ago
- A framework for writing plugins that integrate with the Rust compiler☆151Updated 2 months ago
- Interface with the rustc compiler for the purpose of program verification☆160Updated this week
- Rust bindings for the Z3 solver.☆401Updated this week
- RVT is a collection of tools/libraries to support both static and dynamic verification of Rust programs.☆275Updated 3 years ago
- ☆754Updated last week
- Compile time numbers in Rust.☆547Updated 3 weeks ago
- A meta-JIT library for Rust interpreters☆163Updated 2 years ago
- Easy self-referential struct generation for Rust.☆618Updated 5 months ago
- ☆149Updated 3 months ago
- Safe cross-platform linker shenanigans☆749Updated 2 weeks ago
- Capability-oriented version of the Rust standard library☆691Updated 2 months ago
- Ensure correct assumptions about constants, types, and more in Rust☆619Updated last year
- Safe, fallible, embedded-friendly ordered set/map via a scapegoat tree. Validated against BTreeSet/BTreeMap.☆262Updated 3 years ago
- Rust String Libraries by mcyoung☆190Updated 5 months ago
- An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematic…☆343Updated this week
- home for proposals in and around compile-time function evaluation☆110Updated last year
- Incremental garbage collection from safe Rust☆731Updated last month
- Support crate for rustc's self-profiling feature☆353Updated 4 months ago