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
- A graphical debugger for Rust MIR☆187Updated 2 years ago
- Allocators in Rust☆312Updated 4 years ago
- GLL parsing framework.☆137Updated 10 months ago
- An implementation of union-find / congruence-closure in Rust. Extracted from rustc for independent experimentation.☆149Updated 9 months ago
- Modeling NLL and the Rust borrowck☆80Updated 7 years ago
- Verification working group☆104Updated 6 years ago
- tracking performance of rustc-generated binaries over time☆104Updated 2 years ago
- Type-safe transmutations between layout-compatible types.☆121Updated 4 years ago
- A rustc plugin to check for numerical instability☆174Updated 8 years ago
- An almost-parallel, semi-functioning, dynamic linker experiment, written in Rust☆168Updated 7 years ago
- Rust macro to generate self-referential structs☆210Updated 3 years ago
- Efficient transactional memory in rust.☆209Updated 3 years ago
- Epoch-based garbage collection☆81Updated 6 years ago
- Rust library that provides helpers for testing resilience of IO operations☆144Updated 3 years ago
- LLVM wrappers for Rust☆68Updated 7 years ago
- Tutorial and demo of rust compiler replacement tooling☆56Updated 3 years ago
- Deprecated, please use the official docs at https://doc.rust-lang.org/nightly/nightly-rustc☆24Updated 5 years ago
- JS affine☆66Updated 4 years ago
- In support of measuring heap allocations in Rust programs.☆100Updated 5 years ago
- Custom derivation macro for Rust☆111Updated 7 years ago
- garbage collection☆321Updated 5 years ago
- A not-yet-functional Rust parser written in LALRPOP.☆35Updated 8 years ago
- Execute your code on the Rust ecosystem.☆182Updated last month
- A library for creating references that carry their owner with them.☆364Updated last year
- Non-lexical lifetimes RFC.☆48Updated 6 years ago
- Manual segmented stacks for Rust☆298Updated this week
- home for proposals in and around compile-time function evaluation☆107Updated last year
- rust verification condition generator☆93Updated 8 years ago
- A work-stealing fork-join threadpool written in Rust.☆86Updated 8 years ago
- ☆129Updated 5 years ago