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 last month
- A tool to help with minimization of Rust code☆66Updated 3 months ago
- Public repository for the Rust effects initiative☆110Updated last year
- Home of the "types team", affiliated with the compiler and lang teams.☆97Updated 2 years ago
- Callgraph generation for rust project☆78Updated 3 years ago
- A minimalist property-based testing library☆123Updated 9 months ago
- A test framework for testing rustc diagnostics output☆38Updated last month
- Finding ownership bugs at scale.☆32Updated this week
- Guide for standard library developers☆87Updated 9 months ago
- Experimenting with Rust's fundamental data model☆58Updated 4 months ago
- cargo-expand, but with Hygiene [WIP]☆21Updated 2 years ago
- Bechmarks for Rust big integer implementations☆64Updated last year
- Lending iterators on stable Rust☆83Updated 2 years ago
- (lifetime) GATs on stable Rust☆59Updated 2 years ago
- ☆62Updated 3 months ago
- experimental datalog rules for a next gen polonius☆19Updated 3 years ago
- Recipes for avoiding bounds checks in Rust, without unsafe!☆136Updated 3 years ago
- Append-only collections for Rust where borrows to entries can outlive insertions☆271Updated 2 weeks ago
- Procedural macro to easily write higher-order strategies in proptest.☆48Updated 2 weeks ago
- A fast, concurrent string interner☆164Updated last year
- Rust microbenchmarking harness based on paired-testing methodology☆147Updated last week
- automatially find crashes in the rust compiler & tooling☆80Updated last year
- Mirror of Rust's allocator api for use on stable rust☆79Updated last month
- A highly experiment portable runtime☆21Updated last year
- What if we could check declarative macros before using them?☆51Updated last year
- Determine whether characters have the XID_Start or XID_Continue properties☆105Updated last month
- Rust Project Goals tracker☆125Updated this week
- sptr: The Strict Provenance Polyfill☆75Updated 2 years ago
- Umbrella repository for Krabcake experiments☆48Updated 11 months ago
- Scope Graph Implementation in Rust☆29Updated last year