ia0 / unsafe-mental-modelLinks
Mental model for unsafe in Rust
☆18Updated 7 months ago
Alternatives and similar repositories for unsafe-mental-model
Users that are interested in unsafe-mental-model are comparing it to the libraries listed below
Sorting:
- Define compiler intermediate representation usable by external tools☆85Updated last month
- A framework for writing plugins that integrate with the Rust compiler☆157Updated last week
- Overview of the Tree Borrows rules for detecting violations of the aliasing discipline in Rust☆26Updated last year
- UB-free and deterministic rustc fuzzer☆91Updated 2 months ago
- 🎶 Choreographic programming in Rust 🎶☆59Updated 6 months ago
- ☆12Updated 5 months ago
- ☆166Updated 6 months ago
- Choose Rust types at compile-time via constants☆68Updated last year
- We have Crater At Home☆36Updated 11 months ago
- Interface with the rustc compiler for the purpose of program verification☆194Updated last week
- Library facilitating safe pinned initialization☆60Updated last week
- Home of the "types team", affiliated with the compiler and lang teams.☆96Updated last year
- A tool to help with minimization of Rust code☆59Updated 5 months ago
- Propositional logic with types in Rust☆63Updated 2 years ago
- ☆53Updated last month
- property testing and verification front-end for Rust☆218Updated last month
- Lock ordering enforcement at compile time in Rust☆17Updated 6 months ago
- Procedural macro to mock returning (values referencing) locals from a function (using CPS)☆33Updated 11 months ago
- Lending iterators on stable Rust☆83Updated last year
- Trophy case for Rudra bugs.☆40Updated last year
- Rust bindings for libgccjit☆23Updated last month
- Proposed fixit commands for cargo☆15Updated 2 weeks ago
- Type-erased core::Discriminant<T>☆38Updated 2 weeks ago
- Eurydice compiles (a modest subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.☆114Updated last week
- Umbrella repository for Krabcake experiments☆47Updated 7 months ago
- (lifetime) GATs on stable Rust☆59Updated last year
- An exploration of Storages☆37Updated last year
- home for proposals in and around compile-time function evaluation☆110Updated 2 years ago
- Map data structure whose keys are stored as ranges☆95Updated 3 weeks ago
- Rust microbenchmarking harness based on paired-testing methodology☆140Updated this week