ia0 / unsafe-mental-modelLinks
Mental model for unsafe in Rust
☆18Updated 8 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☆87Updated last month
- A framework for writing plugins that integrate with the Rust compiler☆160Updated 3 weeks ago
- UB-free and deterministic rustc fuzzer☆90Updated 3 months ago
- Overview of the Tree Borrows rules for detecting violations of the aliasing discipline in Rust☆27Updated last year
- automatially find crashes in the rust compiler & tooling☆79Updated last year
- ☆174Updated 7 months ago
- ☆12Updated this week
- We have Crater At Home☆36Updated 11 months ago
- A tool to help with minimization of Rust code☆59Updated last week
- Interface with the rustc compiler for the purpose of program verification☆200Updated last week
- Lending iterators on stable Rust☆83Updated last year
- Procedural macro to mock returning (values referencing) locals from a function (using CPS)☆34Updated last year
- A test framework for testing rustc diagnostics output☆33Updated last month
- Lock ordering enforcement at compile time in Rust☆17Updated 7 months ago
- Fast Function Dispatch: Improving the performance of Rust's dynamic function calls☆33Updated last year
- Home of the "types team", affiliated with the compiler and lang teams.☆96Updated 2 years ago
- property testing and verification front-end for Rust☆218Updated last month
- Propositional logic with types in Rust☆64Updated 2 years ago
- Choose Rust types at compile-time via constants☆68Updated last year
- Babysteps blog☆36Updated last week
- 🎶 Choreographic programming in Rust 🎶☆59Updated 7 months ago
- ☆76Updated 2 months ago
- A memory efficient syntax tree for language developers☆62Updated 2 months ago
- Safe collections written in stable Rust, based on GhostCell and StaticRc.☆186Updated 4 years ago
- Simple refinement types for Rust; parse, don't validate!☆75Updated 3 weeks ago
- Library facilitating safe pinned initialization☆61Updated last week
- Experimenting with Rust's fundamental data model☆54Updated 2 weeks ago
- An exploration of Storages☆37Updated last year
- (lifetime) GATs on stable Rust☆59Updated last year
- Find deadlocks in Rust code with Petri net model checking☆41Updated 2 weeks ago