rust-lang / opsem-teamLinks
Home of the operational semantics team, used primarily for procedural items
☆20Updated 11 months ago
Alternatives and similar repositories for opsem-team
Users that are interested in opsem-team are comparing it to the libraries listed below
Sorting:
- Experimenting with Rust's fundamental data model☆55Updated 2 months ago
- Arbitrary, fixed size numeric types that extend the functionality of primitive numeric types in Rust.☆116Updated 2 weeks ago
- Procedural macro to easily write higher-order strategies in proptest.☆48Updated last week
- Public repository for the Rust keyword generics initiative☆109Updated last year
- A tool to help with minimization of Rust code☆63Updated 2 months ago
- ☆44Updated last year
- cargo-expand, but with Hygiene [WIP]☆21Updated 2 years ago
- A minimalist property-based testing library☆120Updated 7 months ago
- Callgraph generation for rust project☆78Updated 3 years ago
- What if we could check declarative macros before using them?☆51Updated last year
- (lifetime) GATs on stable Rust☆59Updated last year
- Finding ownership bugs at scale.☆26Updated this week
- ☆76Updated last month
- ☆61Updated last month
- A test framework for testing rustc diagnostics output☆37Updated this week
- Lending iterators on stable Rust☆83Updated last year
- Some internal rustc tools made accessible☆47Updated 2 months ago
- Mirror of Rust's allocator api for use on stable rust☆72Updated last week
- https://github.com/rust-lang/cargo/issues/948☆55Updated last year
- sptr: The Strict Provenance Polyfill☆75Updated 2 years ago
- Serde Visitor for deserializing untagged enums☆67Updated this week
- Fast `cargo install` action using a GitHub-based binary cache and attestations☆79Updated last month
- Guide for standard library developers☆85Updated 8 months ago
- Bechmarks for Rust big integer implementations☆64Updated last year
- Compile-time temporary directory shared by multiple crates and erased by `cargo clean`☆76Updated last week
- A highly experiment portable runtime☆21Updated last year
- Fast Function Dispatch: Improving the performance of Rust's dynamic function calls☆36Updated last year
- Overview of the Tree Borrows rules for detecting violations of the aliasing discipline in Rust☆27Updated last year
- Rust Project Goals tracker☆103Updated last week
- Ergonomic and composable async stream generation without macros☆23Updated last month