rust-lang / types-team

Related projects ⓘ

Alternatives and complementary repositories for types-team

• rust-lang / ena
  An implementation of union-find / congruence-closure in Rust. Extracted from rustc for independent experimentation.
  ☆147Updated 6 months ago
• Kixiron / lasso
  A fast, concurrent string interner
  ☆140Updated 3 months ago
• Vanille-N / tree-borrows
  Overview of the Tree Borrows rules for detecting violations of the aliasing discipline in Rust
  ☆23Updated 7 months ago
• rust-lang / const-eval
  home for proposals in and around compile-time function evaluation
  ☆105Updated last year
• rust-lang / project-safe-transmute
  Project group working on the "safe transmute" feature
  ☆86Updated 2 months ago
• rust-lang / project-stable-mir
  Define compiler intermediate representation usable by external tools
  ☆62Updated 5 months ago
• dtolnay / essay
  docs.rs as a publishing platform?
  ☆66Updated 4 months ago
• fitzgen / id-arena
  A simple, id-based arena
  ☆115Updated last year
• zheland / typed-index-collections
  Typed index version of Rust slice and Vec containers
  ☆66Updated last month
• unicode-rs / unicode-xid
  ☆50Updated 2 months ago
• dtolnay / scratch
  Compile-time temporary directory shared by multiple crates and erased by `cargo clean`
  ☆74Updated 2 weeks ago
• dtolnay / seq-macro
  Macro to repeat sequentially indexed copies of a fragment of code
  ☆137Updated 2 weeks ago
• aticu / pre
  A rust crate to offer compile-time assistance for working with unsafe code.
  ☆121Updated 3 years ago
• Manishearth / elsa
  Append-only collections for Rust where borrows to entries can outlive insertions
  ☆228Updated 4 months ago
• danielhenrymantilla / never-say-never.rs
  The never type (the true one!) in stable Rust.
  ☆34Updated 2 years ago
• pest-parser / ast
  ☆81Updated 7 months ago
• pnkfelix / krabcake
  Umbrella repository for Krabcake experiments
  ☆46Updated last year
• Gankra / sptr
  sptr: The Strict Provenance Polyfill
  ☆76Updated last year
• CAD97 / pointer-utils
  A collection of small utilities for working with pointer types in Rust.
  ☆119Updated last year
• mitsuhiko / fragile
  Utility wrapper to send non send types to other threads safely
  ☆168Updated 10 months ago
• matthieu-m / ghost-collections
  Safe collections written in stable Rust, based on GhostCell and StaticRc.
  ☆180Updated 3 years ago
• nvzqz / condtype
  Choose Rust types at compile-time via constants
  ☆62Updated 10 months ago
• Lokathor / safe_arch
  Exposes arch-specific intrinsics as safe function (via cfg).
  ☆49Updated 3 months ago
• inanna-malick / recursion
  Stack safe and expressive recursion in Rust
  ☆91Updated last month
• sagebind / castaway
  Safe, zero-cost downcasting for limited compile-time specialization.
  ☆151Updated last month
• advancedresearch / prop
  Propositional logic with types in Rust
  ☆60Updated last year
• nikomatsakis / polonius.next
  experimental datalog rules for a next gen polonius
  ☆19Updated 2 years ago
• dtolnay / inherent
  Make trait methods callable without the trait in scope
  ☆135Updated 2 weeks ago
• dtolnay / cargo-tally
  Graph the number of crates that depend on your crate over time
  ☆232Updated this week
• Manishearth / triomphe
  Fork of std::Arc with lots of utilities useful for FFI
  ☆216Updated last month