rust-lang / opsem-teamLinks
Home of the operational semantics team, used primarily for procedural items
☆20Updated last year
Alternatives and similar repositories for opsem-team
Users that are interested in opsem-team are comparing it to the libraries listed below
Sorting:
- Arbitrary, fixed size numeric types that extend the functionality of primitive numeric types in Rust.☆118Updated 3 weeks ago
- A tool to help with minimization of Rust code☆66Updated 3 months ago
- Public repository for the Rust keyword generics initiative☆110Updated last year
- Umbrella repository for Krabcake experiments☆48Updated 11 months ago
- cargo-expand, but with Hygiene [WIP]☆21Updated 2 years ago
- Home of the "types team", affiliated with the compiler and lang teams.☆97Updated 2 years ago
- Graph the number of crates that depend on your crate over time☆256Updated last week
- Mirror of Rust's allocator api for use on stable rust☆74Updated last month
- An experimental linting interface for Rust. Let's make custom lints a reality☆149Updated 2 years ago
- Recipes for avoiding bounds checks in Rust, without unsafe!☆135Updated 3 years ago
- Callgraph generation for rust project☆78Updated 3 years ago
- Lending iterators on stable Rust☆83Updated 2 years ago
- ☆76Updated 2 weeks ago
- Bechmarks for Rust big integer implementations☆64Updated last year
- sptr: The Strict Provenance Polyfill☆75Updated 2 years ago
- Append-only collections for Rust where borrows to entries can outlive insertions☆269Updated last week
- ☆44Updated last year
- Experimenting with Rust's fundamental data model☆58Updated 3 months ago
- A fast, concurrent string interner☆164Updated last year
- (lifetime) GATs on stable Rust☆59Updated 2 years ago
- Guide for standard library developers☆87Updated 9 months ago
- Procedural macro to easily write higher-order strategies in proptest.☆48Updated this week
- Choose Rust types at compile-time via constants☆70Updated 2 years ago
- A framework for writing plugins that integrate with the Rust compiler☆163Updated 4 months ago
- Project group working on the "safe transmute" feature☆97Updated last year
- Parse JSON file at compile time and embed as serde_json::Value☆34Updated last month
- ☆43Updated 2 years ago
- A highly experiment portable runtime☆21Updated last year
- Program startup and thread support written in Rust☆204Updated 2 weeks ago
- A Vec That Has a Smaller size_of☆154Updated 4 months ago