Alternatives and similar repositories for generativity

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

• bluss / indexing
  Sound unchecked indexing using “generativity”; a type system approach to indices, pointers and ranges that are trusted to be in bounds.
  ☆103Updated 6 years ago
• Kixiron / lasso
  A fast, concurrent string interner
  ☆153Updated last year
• rust-lang / ena
  An implementation of union-find / congruence-closure in Rust. Extracted from rustc for independent experimentation.
  ☆163Updated last year
• matklad / proc-caesar
  A proc-macro to break Rust IDEs
  ☆64Updated 4 years ago
• matthieu-m / storage-poc
  Exploration of using Storage instead of Allocator to parameterize collections in Rust
  ☆140Updated 2 years ago
• dtolnay / tt-call
  Token tree calling convention
  ☆80Updated 2 years ago
• kennytm / rustup-toolchain-install-master
  Install a rustc master toolchain usable from rustup
  ☆77Updated last month
• rust-lang / types-team
  Home of the "types team", affiliated with the compiler and lang teams.
  ☆96Updated last year
• danielhenrymantilla / never-say-never.rs
  The never type (the true one!) in stable Rust.
  ☆41Updated 2 months ago
• jmg-duarte / sealed-rs
  Macro for sealing traits and structures
  ☆59Updated 10 months ago
• deadlinks / cargo-deadlinks
  Cargo subcommand for checking your documentation for broken links
  ☆155Updated 9 months ago
• Sgeo / take_mut
  Intended to allow taking a T from a &mut T temporarily
  ☆79Updated 5 years ago
• thepowersgang / stack_dst-rs
  Stack-allocated DSTs for rust (fixed capacity)
  ☆50Updated last year
• rust-lang / const-eval
  home for proposals in and around compile-time function evaluation
  ☆110Updated 2 years 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.
  ☆50Updated last year
• rust-lang / project-safe-transmute
  Project group working on the "safe transmute" feature
  ☆94Updated last year
• oli-obk / priroda
  A graphical debugger for Rust MIR
  ☆195Updated 3 years ago
• Vanille-N / tree-borrows
  Overview of the Tree Borrows rules for detecting violations of the aliasing discipline in Rust
  ☆26Updated last year
• ferrilab / funty
  Trait generalization of the fundamental types
  ☆46Updated last year
• zheland / typed-index-collections
  Typed index version of Rust slice and Vec containers
  ☆74Updated last month
• danielhenrymantilla / with_locals.rs
  Procedural macro to mock returning (values referencing) locals from a function (using CPS)
  ☆33Updated 11 months ago
• dtolnay / essay
  docs.rs as a publishing platform?
  ☆71Updated 2 weeks ago
• auxoncorp / tnfilt
  ☆34Updated 3 years ago
• danielhenrymantilla / polonius-the-crab.rs
  Tools to feature more lenient Polonius-based borrow-checker patterns on stable Rust
  ☆115Updated 10 months ago
• saethlin / crater-at-home
  We have Crater At Home
  ☆36Updated 11 months ago
• Noratrieb / cargo-minimize
  A tool to help with minimization of Rust code
  ☆59Updated 5 months ago
• ejmahler / strength_reduce
  Faster integer division and modulus operations
  ☆87Updated 3 months ago
• danielhenrymantilla / rust-uninit
  Read trait fixed to soundly work with uninitalized memory
  ☆27Updated last year
• Gankra / sptr
  sptr: The Strict Provenance Polyfill
  ☆75Updated last year
• myrrlyn / calm_io
  Calm I/O operations for Rust
  ☆76Updated 4 years ago