Vanille-N / tree-borrows
Overview of the Tree Borrows rules for detecting violations of the aliasing discipline in Rust
☆24Updated 11 months ago
Alternatives and similar repositories for tree-borrows:
Users that are interested in tree-borrows are comparing it to the libraries listed below
- Define compiler intermediate representation usable by external tools☆71Updated 9 months ago
- Home of the "types team", affiliated with the compiler and lang teams.☆96Updated last year
- ☆12Updated last week
- sptr: The Strict Provenance Polyfill☆76Updated last year
- Umbrella repository for Krabcake experiments☆46Updated last month
- automatially find crashes in the rust compiler & tooling☆72Updated 11 months ago
- UB-free and deterministic rustc fuzzer☆74Updated 2 months ago
- We have Crater At Home☆30Updated 5 months ago
- A tool to help with minimization of Rust code☆51Updated last year
- experimental datalog rules for a next gen polonius☆19Updated 2 years ago
- Propositional logic with types in Rust☆62Updated last year
- (lifetime) GATs on stable Rust☆57Updated last year
- New register allocator designed as a successor to regalloc2☆36Updated last month
- A simple, id-based arena☆119Updated last year
- Choose Rust types at compile-time via constants☆64Updated last year
- An IDE extension for debugging trait errors in Rust.☆108Updated last week
- ☆38Updated 3 weeks ago
- An implementation of union-find / congruence-closure in Rust. Extracted from rustc for independent experimentation.☆153Updated 10 months ago
- Compile-time temporary directory shared by multiple crates and erased by `cargo clean`☆75Updated 3 weeks ago
- home for proposals in and around compile-time function evaluation☆107Updated last year
- ☆37Updated last year
- Read trait fixed to soundly work with uninitalized memory☆25Updated last year
- A memory efficient syntax tree for language developers☆57Updated this week
- Bare-metal allocators.☆76Updated 2 years ago
- Some internal rustc tools made accessible☆47Updated 2 months ago
- Experimenting with Rust's fundamental data model☆51Updated 5 months ago
- Experimental type level programming in Rust☆37Updated 3 years ago
- А procedural macro useful for testing/fuzzing stateful models against a semantically equivalent but obviously correct implementation☆84Updated last year
- An exploration of Storages☆35Updated last year
- Scope Graph Implementation in Rust☆22Updated 4 months ago