rust-lang / types-team
Home of the "types team", affiliated with the compiler and lang teams.
☆96Updated last year
Alternatives and similar repositories for types-team:
Users that are interested in types-team are comparing it to the libraries listed below
- An implementation of union-find / congruence-closure in Rust. Extracted from rustc for independent experimentation.☆152Updated 10 months ago
- A memory efficient syntax tree for language developers☆55Updated last month
- home for proposals in and around compile-time function evaluation☆107Updated last year
- Typed index version of Rust slice and Vec containers☆69Updated 5 months ago
- Choose Rust types at compile-time via constants☆64Updated last year
- A fast, concurrent string interner☆149Updated 6 months ago
- Overview of the Tree Borrows rules for detecting violations of the aliasing discipline in Rust☆24Updated 10 months ago
- Better reference counted strings for Rust☆118Updated 7 months ago
- Compile-time temporary directory shared by multiple crates and erased by `cargo clean`☆74Updated last week
- Some internal rustc tools made accessible☆47Updated 2 months ago
- ☆50Updated 2 weeks ago
- docs.rs as a publishing platform?☆68Updated 3 weeks ago
- Define compiler intermediate representation usable by external tools☆66Updated 8 months ago
- Data-driven tests on stable Rust☆39Updated this week
- Lending iterators on stable Rust☆82Updated last year
- Install a rustc master toolchain usable from rustup☆75Updated 2 years ago
- ☆88Updated last month
- assert!() and check!() macros for Rust, inspired by Catch2, now with diffs!☆100Updated 2 months ago
- A simple, id-based arena☆118Updated last year
- The never type (the true one!) in stable Rust.☆36Updated 3 years ago
- Utility wrapper to send non send types to other threads safely☆173Updated last year
- sptr: The Strict Provenance Polyfill☆76Updated last year
- Append-only collections for Rust where borrows to entries can outlive insertions☆238Updated this week
- Propositional logic with types in Rust☆62Updated last year
- ☆37Updated last year
- exhaustive testing library☆63Updated 7 months ago
- A graphical debugger for Rust MIR☆187Updated 2 years ago
- (lifetime) GATs on stable Rust☆57Updated last year
- Determine whether characters have the XID_Start or XID_Continue properties☆89Updated last week
- Project group working on the "safe transmute" feature☆89Updated 5 months ago