rust-lang / types-teamLinks
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
Sorting:
- An implementation of union-find / congruence-closure in Rust. Extracted from rustc for independent experimentation.☆163Updated last year
- home for proposals in and around compile-time function evaluation☆110Updated 2 years ago
- A fast, concurrent string interner☆153Updated last year
- A simple, id-based arena☆121Updated 2 years ago
- Overview of the Tree Borrows rules for detecting violations of the aliasing discipline in Rust☆26Updated last year
- docs.rs as a publishing platform?☆71Updated 2 weeks ago
- Umbrella repository for Krabcake experiments☆47Updated 7 months ago
- Choose Rust types at compile-time via constants☆68Updated last year
- Public repository for the Rust keyword generics initiative☆106Updated last year
- Define compiler intermediate representation usable by external tools☆85Updated last month
- ☆94Updated 2 years ago
- A memory efficient syntax tree for language developers☆62Updated last month
- A Set of Bits☆72Updated last month
- Install a rustc master toolchain usable from rustup☆76Updated 3 weeks ago
- Propositional logic with types in Rust☆63Updated 2 years ago
- Macro to repeat sequentially indexed copies of a fragment of code☆159Updated last week
- Compile-time temporary directory shared by multiple crates and erased by `cargo clean`☆76Updated 2 weeks ago
- Safe collections written in stable Rust, based on GhostCell and StaticRc.☆185Updated 4 years ago
- Utility wrapper to send non send types to other threads safely☆188Updated 6 months ago
- ☆90Updated last month
- Lending iterators on stable Rust☆83Updated last year
- ☆101Updated last month
- An unordered multiset/bag implementation backed by HashMap☆70Updated 2 months ago
- Guide for standard library developers☆86Updated 5 months ago
- Make trait methods callable without the trait in scope☆157Updated last week
- Append-only collections for Rust where borrows to entries can outlive insertions☆259Updated 2 months ago
- lens implemented in rust☆117Updated 2 years ago
- Tools to feature more lenient Polonius-based borrow-checker patterns on stable Rust☆115Updated 10 months ago
- Project group working on the "safe transmute" feature☆94Updated last year
- sptr: The Strict Provenance Polyfill☆75Updated last year