Alternatives and similar repositories for generativity

Users that are interested in generativity are comparing it to the libraries listed below

• kennytm / rustup-toolchain-install-master
  Install a rustc master toolchain usable from rustup
  ☆76Updated this week
• rust-lang / ena
  An implementation of union-find / congruence-closure in Rust. Extracted from rustc for independent experimentation.
  ☆166Updated last year
• bluss / indexing
  Sound unchecked indexing using “generativity”; a type system approach to indices, pointers and ranges that are trusted to be in bounds.
  ☆105Updated 6 years ago
• matklad / proc-caesar
  A proc-macro to break Rust IDEs
  ☆65Updated 4 years ago
• jmg-duarte / sealed-rs
  Macro for sealing traits and structures
  ☆61Updated last year
• rust-lang / const-eval
  home for proposals in and around compile-time function evaluation
  ☆113Updated last month
• danielhenrymantilla / polonius-the-crab.rs
  Tools to feature more lenient Polonius-based borrow-checker patterns on stable Rust
  ☆124Updated 3 months ago
• rust-lang / project-safe-transmute
  Project group working on the "safe transmute" feature
  ☆97Updated last year
• dtolnay / tt-call
  Token tree calling convention
  ☆83Updated 3 years ago
• ferrilab / funty
  Trait generalization of the fundamental types
  ☆48Updated last year
• dtolnay / essay
  docs.rs as a publishing platform?
  ☆71Updated last month
• rust-lang / types-team
  Home of the "types team", affiliated with the compiler and lang teams.
  ☆97Updated 2 years ago
• ejmahler / strength_reduce
  Faster integer division and modulus operations
  ☆88Updated 7 months ago
• danielhenrymantilla / never-say-never.rs
  The never type (the true one!) in stable Rust.
  ☆41Updated 7 months ago
• matthieu-m / storage-poc
  Exploration of using Storage instead of Allocator to parameterize collections in Rust
  ☆142Updated 2 years ago
• sagebind / castaway
  Safe, zero-cost downcasting for limited compile-time specialization.
  ☆179Updated 5 months ago
• Vanille-N / tree-borrows
  Overview of the Tree Borrows rules for detecting violations of the aliasing discipline in Rust
  ☆27Updated last year
• Kixiron / lasso
  A fast, concurrent string interner
  ☆164Updated last year
• danielhenrymantilla / with_locals.rs
  Procedural macro to mock returning (values referencing) locals from a function (using CPS)
  ☆35Updated last year
• deadlinks / cargo-deadlinks
  Cargo subcommand for checking your documentation for broken links
  ☆156Updated last year
• 197g / static-alloc
  Data structures like Rust `alloc` which reuse user allocated memory
  ☆61Updated 3 months ago
• Sgeo / take_mut
  Intended to allow taking a T from a &mut T temporarily
  ☆81Updated 6 years ago
• oli-obk / priroda
  A graphical debugger for Rust MIR
  ☆199Updated 3 years ago
• jneem / imbl
  Blazing fast immutable collection datatypes for Rust.
  ☆135Updated last week
• CAD97 / pointer-utils
  A collection of small utilities for working with pointer types in Rust.
  ☆133Updated last year
• Gankra / sptr
  sptr: The Strict Provenance Polyfill
  ☆75Updated 2 years ago
• zheland / typed-index-collections
  Typed index version of Rust slice and Vec containers
  ☆75Updated 2 weeks ago
• LPGhatguy / nonmax
  Rust crate that provides number types similar to std's NonZero* types, but that cannot hold a type's maximum value instead.
  ☆55Updated 3 months ago
• matklad / cov-mark
  ☆62Updated 3 months ago
• fitzgen / id-arena
  A simple, id-based arena
  ☆125Updated 3 weeks ago