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
  ☆77Updated 3 weeks ago
• bluss / indexing
  Sound unchecked indexing using “generativity”; a type system approach to indices, pointers and ranges that are trusted to be in bounds.
  ☆104Updated 6 years ago
• rust-lang / project-safe-transmute
  Project group working on the "safe transmute" feature
  ☆96Updated last year
• matklad / proc-caesar
  A proc-macro to break Rust IDEs
  ☆64Updated 4 years ago
• danielhenrymantilla / never-say-never.rs
  The never type (the true one!) in stable Rust.
  ☆41Updated 5 months ago
• dtolnay / tt-call
  Token tree calling convention
  ☆82Updated 3 years ago
• rust-lang / ena
  An implementation of union-find / congruence-closure in Rust. Extracted from rustc for independent experimentation.
  ☆164Updated last year
• rust-lang / const-eval
  home for proposals in and around compile-time function evaluation
  ☆112Updated 2 weeks ago
• jmg-duarte / sealed-rs
  Macro for sealing traits and structures
  ☆60Updated last year
• Sgeo / take_mut
  Intended to allow taking a T from a &mut T temporarily
  ☆80Updated 6 years ago
• ferrilab / funty
  Trait generalization of the fundamental types
  ☆48Updated last year
• rust-lang / types-team
  Home of the "types team", affiliated with the compiler and lang teams.
  ☆96Updated 2 years ago
• Kixiron / lasso
  A fast, concurrent string interner
  ☆162Updated last year
• matthieu-m / storage-poc
  Exploration of using Storage instead of Allocator to parameterize collections in Rust
  ☆142Updated 2 years ago
• danielhenrymantilla / polonius-the-crab.rs
  Tools to feature more lenient Polonius-based borrow-checker patterns on stable Rust
  ☆123Updated last month
• saethlin / crater-at-home
  We have Crater At Home
  ☆36Updated last year
• ejmahler / strength_reduce
  Faster integer division and modulus operations
  ☆87Updated 6 months ago
• sagebind / castaway
  Safe, zero-cost downcasting for limited compile-time specialization.
  ☆178Updated 4 months ago
• alexcrichton / debug-cell
  Debug RefCell which keeps track of stack traces in debug mode
  ☆24Updated 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.
  ☆54Updated 2 months ago
• Vanille-N / tree-borrows
  Overview of the Tree Borrows rules for detecting violations of the aliasing discipline in Rust
  ☆27Updated last year
• oli-obk / priroda
  A graphical debugger for Rust MIR
  ☆199Updated 3 years ago
• 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 2 months ago
• danielhenrymantilla / with_locals.rs
  Procedural macro to mock returning (values referencing) locals from a function (using CPS)
  ☆35Updated last year
• dtolnay / essay
  docs.rs as a publishing platform?
  ☆71Updated this week
• matklad / macro-dep-test
  ☆43Updated 2 years ago
• jneem / imbl
  Blazing fast immutable collection datatypes for Rust.
  ☆128Updated 2 weeks ago
• Gankra / sptr
  sptr: The Strict Provenance Polyfill
  ☆75Updated 2 years ago
• thepowersgang / stack_dst-rs
  Stack-allocated DSTs for rust (fixed capacity)
  ☆50Updated last year