rust-lang / types-teamLinks
Home of the "types team", affiliated with the compiler and lang teams.
☆96Updated 2 years ago
Alternatives and similar repositories for types-team
Users that are interested in types-team are comparing it to the libraries listed below
Sorting:
- home for proposals in and around compile-time function evaluation☆110Updated 2 years ago
- An implementation of union-find / congruence-closure in Rust. Extracted from rustc for independent experimentation.☆163Updated last year
- A fast, concurrent string interner☆157Updated last year
- Overview of the Tree Borrows rules for detecting violations of the aliasing discipline in Rust☆27Updated last year
- Choose Rust types at compile-time via constants☆68Updated last year
- A simple, id-based arena☆120Updated 2 years ago
- ☆101Updated last month
- ☆94Updated 2 years ago
- ☆53Updated 2 months ago
- A memory efficient syntax tree for language developers☆62Updated 2 months ago
- Macro to repeat sequentially indexed copies of a fragment of code☆159Updated last month
- docs.rs as a publishing platform?☆71Updated last month
- Project group working on the "safe transmute" feature☆94Updated last year
- Utility wrapper to send non send types to other threads safely☆188Updated 6 months ago
- ☆90Updated 2 months ago
- Safe collections written in stable Rust, based on GhostCell and StaticRc.☆186Updated 4 years ago
- Install a rustc master toolchain usable from rustup☆77Updated last month
- Make trait methods callable without the trait in scope☆159Updated last month
- Safe, zero-cost downcasting for limited compile-time specialization.☆174Updated 2 months ago
- Define compiler intermediate representation usable by external tools☆87Updated last month
- sptr: The Strict Provenance Polyfill☆75Updated 2 years ago
- Umbrella repository for Krabcake experiments☆47Updated 8 months ago
- A collection of small utilities for working with pointer types in Rust.☆129Updated 9 months ago
- Propositional logic with types in Rust☆64Updated 2 years ago
- Stack safe and expressive recursion in Rust☆103Updated 4 months ago
- Cargo subcommand for checking your documentation for broken links☆155Updated 10 months ago
- Append-only collections for Rust where borrows to entries can outlive insertions☆260Updated 3 months ago
- Compile-time checks that an enum or match is written in sorted order☆119Updated last month
- Better reference counted strings for Rust☆137Updated last year
- Guide for standard library developers☆86Updated 6 months ago