rust-lang / rust-memory-modelLinks
Collecting examples and information to help design a memory model for Rust.
☆126Updated 6 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
Sorting:
- Modeling NLL and the Rust borrowck☆84Updated 7 years ago
- GLL parsing framework.☆137Updated last year
- In support of measuring heap allocations in Rust programs.☆101Updated 6 years ago
- Allocators in Rust☆314Updated 5 years ago
- Verification working group☆104Updated 6 years ago
- A graphical debugger for Rust MIR☆194Updated 3 years ago
- An implementation of union-find / congruence-closure in Rust. Extracted from rustc for independent experimentation.☆161Updated last year
- Tutorial and demo of rust compiler replacement tooling☆56Updated 4 years ago
- A demand-driven compiler with strong IDE support☆195Updated 3 years ago
- garbage collection☆323Updated 6 years ago
- tracking performance of rustc-generated binaries over time☆102Updated 2 years ago
- Deprecated, please use the official docs at https://doc.rust-lang.org/nightly/nightly-rustc☆24Updated 6 years ago
- Non-lexical lifetimes RFC.☆48Updated 7 years ago
- rust verification condition generator☆96Updated 8 years ago
- Design by contract style assertions for Rust☆249Updated 4 years ago
- An almost-parallel, semi-functioning, dynamic linker experiment, written in Rust☆171Updated 7 years ago
- Type-safe transmutations between layout-compatible types.☆122Updated 5 years ago
- Callgraphs for Rust programs☆32Updated 9 years ago
- LLVM wrappers for Rust☆69Updated 8 years ago
- Efficient transactional memory in rust.☆210Updated 4 years ago
- Epoch-based garbage collection☆81Updated 6 years ago
- Context utilities in Rust☆92Updated last year
- Where the work of WG-grammar, aiming to provide a canonical grammar for Rust, resides☆101Updated last year
- A perf script for helping to answer queries about how much time a given function occupies, where it is called from, and so forth.☆39Updated 7 years ago
- A not-yet-functional Rust parser written in LALRPOP.☆35Updated 8 years ago
- Rust library that provides helpers for testing resilience of IO operations☆144Updated 3 years ago
- Rust bindings to google's cpuprofiler☆127Updated 5 years ago
- A work-stealing fork-join threadpool written in Rust.☆86Updated 8 years ago
- This crate guarantees that your application is free of panicking branches☆178Updated 6 years ago
- The empty type Void.☆71Updated 2 years ago