Alternatives and similar repositories for rust-scopegraphs

Users that are interested in rust-scopegraphs are comparing it to the libraries listed below

• saethlin / crater-at-home
  We have Crater At Home
  ☆36Updated 9 months ago
• Vanille-N / tree-borrows
  Overview of the Tree Borrows rules for detecting violations of the aliasing discipline in Rust
  ☆26Updated last year
• jerry73204 / typ
  Experimental type level programming in Rust
  ☆37Updated 4 years ago
• Noratrieb / cargo-minimize
  A tool to help with minimization of Rust code
  ☆59Updated 3 months ago
• nvzqz / condtype
  Choose Rust types at compile-time via constants
  ☆68Updated last year
• udoprog / syntree
  A memory efficient syntax tree for language developers
  ☆62Updated 2 weeks ago
• fmease / tylift
  Lift enum variants to the type-level.
  ☆33Updated 4 years ago
• azaleacolburn / sonder
  Static Pointer Analyzer and Transpiler from C to Safe Rust
  ☆25Updated 2 months ago
• Gankra / sptr
  sptr: The Strict Provenance Polyfill
  ☆75Updated last year
• CAD97 / generativity
  ☆49Updated this week
• disiamylborane / ranged_integers
  Ranged integers for Rust based on const generics
  ☆28Updated last month
• thomcc / ubrustc
  Unborrowed Rust Compiler (rustc without a borrowchecker)
  ☆111Updated last year
• pietroalbini / plinky
  Linux linker for x86 and x86-64
  ☆32Updated 2 months ago
• bruxisma / outcome
  An experiment in an augmented error handling type for Rust
  ☆39Updated this week
• advancedresearch / prop
  Propositional logic with types in Rust
  ☆62Updated 2 years ago
• fprasx / peapod
  Ultra-compact storage for collections of enums 🌱
  ☆23Updated 2 years ago
• zesterer / yurt
  A highly experiment portable runtime
  ☆20Updated last year
• martypapa / debug-tree
  Visualise recursive functions and tree structures.
  ☆30Updated 4 years ago
• graydon / exhaustigen-rs
  exhaustive testing library
  ☆64Updated last year
• Lucretiel / twinsies
  Twinsies is a specialized reference-counting pointer where the item is jointly owned in 2 places
  ☆27Updated last year
• danielhenrymantilla / never-say-never.rs
  The never type (the true one!) in stable Rust.
  ☆40Updated last month
• zesterer / ffd
  Fast Function Dispatch: Improving the performance of Rust's dynamic function calls
  ☆33Updated 10 months ago
• boltlabs-inc / dialectic
  Transport-polymorphic, asynchronous session types for Rust
  ☆63Updated 2 years ago
• rust-lang / types-team
  Home of the "types team", affiliated with the compiler and lang teams.
  ☆97Updated last year
• AeneasVerif / eurydice
  Eurydice compiles (a modest subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.
  ☆111Updated this week
• tosc-rs / mnemos-alloc
  An async allocator with Fun™️ unsafe Rust
  ☆17Updated 2 years ago
• rust-formal-methods / rust-formal-methods.github.io
  ☆12Updated 3 months ago
• matklad / macro-dep-test
  ☆43Updated 2 years ago
• sunfishcode / origin-studio
  An alternative `std`-like implementation built on origin
  ☆31Updated 5 months ago
• iex-rs / iex
  Idiomatic exceptions for Rust
  ☆80Updated last month