Vanille-N / tree-borrows
Overview of the Tree Borrows rules for detecting violations of the aliasing discipline in Rust
☆24Updated last year
Alternatives and similar repositories for tree-borrows:
Users that are interested in tree-borrows are comparing it to the libraries listed below
- Home of the "types team", affiliated with the compiler and lang teams.☆95Updated last year
- Define compiler intermediate representation usable by external tools☆73Updated 10 months ago
- Umbrella repository for Krabcake experiments☆46Updated 2 months ago
- A simple, id-based arena☆119Updated last year
- Compile-time temporary directory shared by multiple crates and erased by `cargo clean`☆75Updated last month
- sptr: The Strict Provenance Polyfill☆76Updated last year
- home for proposals in and around compile-time function evaluation☆107Updated last year
- A memory efficient syntax tree for language developers☆57Updated 3 weeks ago
- automatially find crashes in the rust compiler & tooling☆73Updated last year
- ☆37Updated last year
- Data-driven tests on stable Rust☆39Updated last week
- ☆12Updated last month
- An implementation of union-find / congruence-closure in Rust. Extracted from rustc for independent experimentation.☆155Updated 11 months ago
- We have Crater At Home☆30Updated 5 months ago
- Simple refinement types for Rust; parse, don't validate!☆71Updated 2 weeks ago
- experimental datalog rules for a next gen polonius☆19Updated 2 years ago
- An exploration of Storages☆35Updated last year
- Lift enum variants to the type-level.☆33Updated 4 years ago
- (lifetime) GATs on stable Rust☆58Updated last year
- replacement for std::{Range,RangeInclusive}☆36Updated 2 years ago
- Choose Rust types at compile-time via constants☆64Updated last year
- Lending iterators on stable Rust☆82Updated last year
- ☆34Updated 3 years ago
- UB-free and deterministic rustc fuzzer☆76Updated 3 months ago
- An IDE extension for debugging trait errors in Rust.☆109Updated last week
- Some internal rustc tools made accessible☆47Updated 3 months ago
- Read trait fixed to soundly work with uninitalized memory☆25Updated last year
- А procedural macro useful for testing/fuzzing stateful models against a semantically equivalent but obviously correct implementation☆85Updated last year
- Stack-allocated DSTs for rust (fixed capacity)☆49Updated last year
- `&own` pointers in Stable Rust / `RefOwn` / `&mut` with move semantics (and thus drop)☆20Updated 8 months ago