rust-lang / rust-memory-model
Collecting examples and information to help design a memory model for Rust.
☆126Updated 5 years ago
Alternatives and similar repositories for rust-memory-model:
Users that are interested in rust-memory-model are comparing it to the libraries listed below
- Modeling NLL and the Rust borrowck☆79Updated 7 years ago
- An implementation of union-find / congruence-closure in Rust. Extracted from rustc for independent experimentation.☆148Updated 8 months ago
- An almost-parallel, semi-functioning, dynamic linker experiment, written in Rust☆167Updated 6 years ago
- A graphical debugger for Rust MIR☆186Updated 2 years ago
- GLL parsing framework.☆137Updated 10 months ago
- tracking performance of rustc-generated binaries over time☆104Updated 2 years ago
- Rust library that provides helpers for testing resilience of IO operations☆144Updated 3 years ago
- garbage collection☆319Updated 5 years ago
- Allocators in Rust☆311Updated 4 years ago
- Type-safe transmutations between layout-compatible types.☆120Updated 4 years ago
- skiplist☆140Updated 3 years ago
- Manual segmented stacks for Rust☆296Updated 2 months ago
- Efficient transactional memory in rust.☆208Updated 3 years ago
- Context utilities in Rust☆87Updated last year
- Rust macro to generate self-referential structs☆210Updated 3 years ago
- JS affine☆66Updated 4 years ago
- A crate with indexed arenas with small memory footprint☆76Updated 4 months ago
- Epoch-based garbage collection☆81Updated 6 years ago
- Tutorial and demo of rust compiler replacement tooling☆56Updated 3 years ago
- probe: Static probes for Rust☆94Updated last year
- In support of measuring heap allocations in Rust programs.☆99Updated 5 years ago
- home for proposals in and around compile-time function evaluation☆107Updated last year
- Execute your code on the Rust ecosystem.☆182Updated 3 weeks ago
- ☆129Updated 5 years ago
- LLVM wrappers for Rust☆68Updated 7 years ago
- Rust bindings to google's cpuprofiler☆127Updated 5 years ago
- A demand-driven compiler with strong IDE support☆195Updated 2 years ago
- This crate guarantees that your application is free of panicking branches☆176Updated 5 years ago
- An extraction of the compiletest utility from the Rust compiler☆220Updated this week
- Verification working group☆104Updated 6 years ago