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:
- Arbitrary, fixed size numeric types that extend the functionality of primitive numeric types in Rust.☆116Updated 3 weeks ago
- Public repository for the Rust keyword generics initiative☆109Updated last year
- A tool to help with minimization of Rust code☆64Updated 2 months ago
- Experimenting with Rust's fundamental data model☆55Updated 2 months ago
- A test framework for testing rustc diagnostics output☆37Updated last week
- Callgraph generation for rust project☆78Updated 3 years ago
- sptr: The Strict Provenance Polyfill☆75Updated 2 years ago
- Home of the "types team", affiliated with the compiler and lang teams.☆96Updated 2 years ago
- A minimalist property-based testing library☆120Updated 7 months ago
- Umbrella repository for Krabcake experiments☆47Updated 10 months ago
- Procedural macro to easily write higher-order strategies in proptest.☆48Updated 2 weeks ago
- Determine whether characters have the XID_Start or XID_Continue properties☆104Updated last week
- An experimental linting interface for Rust. Let's make custom lints a reality☆147Updated last year
- Lending iterators on stable Rust☆83Updated last year
- (lifetime) GATs on stable Rust☆59Updated last year
- Append-only collections for Rust where borrows to entries can outlive insertions☆264Updated last month
- Bechmarks for Rust big integer implementations☆64Updated last year
- Finding ownership bugs at scale.☆26Updated last week
- Mirror of Rust's allocator api for use on stable rust☆72Updated 2 weeks ago
- Graph the number of crates that depend on your crate over time☆254Updated last week
- ☆100Updated 4 months ago
- Arbitrary precision floating point numbers library☆113Updated 9 months ago
- A highly experiment portable runtime☆21Updated last year
- Tools to feature more lenient Polonius-based borrow-checker patterns on stable Rust☆123Updated last month
- ☆44Updated last year
- Rust Project Goals tracker☆107Updated 2 weeks ago
- Project group working on the "safe transmute" feature☆96Updated last year
- We have Crater At Home☆36Updated last year
- Fast Function Dispatch: Improving the performance of Rust's dynamic function calls☆36Updated last year
- home for proposals in and around compile-time function evaluation☆112Updated 2 weeks ago