Alternatives and similar repositories for code

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

• nikomatsakis / rust-redex
  A Redex Model of Rust, or more specifically an encoding of Patina, the formal model for rust's type safety
  ☆41Updated 10 years ago
• rust-lang / rust-memory-model
  Collecting examples and information to help design a memory model for Rust.
  ☆126Updated 5 years ago
• rust-lang / ena
  An implementation of union-find / congruence-closure in Rust. Extracted from rustc for independent experimentation.
  ☆158Updated last year
• lemonrock / context-allocator
  Rust crate to support allocation in contexts
  ☆15Updated 2 years ago
• brendanzab / algebra
  Abstract algebra for Rust (still very much a WIP!)
  ☆61Updated 3 years ago
• luser / rust-debugger-tools-info
  ☆29Updated 7 years ago
• rayon-rs / rayon-hash
  Parallel HashMap and HashSet for Rust
  ☆56Updated 6 years ago
• frankmcsherry / pagerank
  Implementation of PageRank in timely dataflow
  ☆74Updated 6 years ago
• PumpkinDB / rust-spdk
  Rust bindings for SPDK
  ☆19Updated 7 years ago
• Gregory-Meyer / cht
  Lockfree resizeable concurrent hash table.
  ☆54Updated 3 years ago
• samrat / rusl
  A toy Lisp compiler targeting x86-64
  ☆40Updated 5 years ago
• frankmcsherry / columnation
  An experimental columnar arena
  ☆43Updated 7 months ago
• pythonesque / dependent_traits
  A dependent type system built entirely in Rust's trait system (WIP).
  ☆25Updated 6 years ago
• epfl-labos / wren
  Wren: Nonblocking Reads in a Partitioned Transactional Causally Consistent Data Store
  ☆8Updated 6 years ago
• cuplv / adapton-lab.rust
  Adapton Lab, written in Rust.
  ☆15Updated 5 years ago
• TimelyDataflow / diagnostics
  Diagnostic tools for timely dataflow computations
  ☆46Updated 2 years ago
• jhellerstein / arugula
  a small C++ lattice library
  ☆15Updated 5 years ago
• nikomatsakis / dogged
  Experimental persistent collections in Rust
  ☆45Updated 7 years ago
• Gankra / collect-rs
  Miscellaneous Collections
  ☆64Updated 10 years ago
• ballard26 / concurrent-hamt
  ☆82Updated 8 years ago
• cuplv / iodyn.rust
  Collections Library for Adapton, in Rust
  ☆13Updated 7 years ago
• dtolnay / lalrproc
  Proof of concept of procedural macro input parsed by LALRPOP
  ☆52Updated 2 years ago
• tlaplus / tlapm_alternative_parser_experiment
  The rewrite of TLAPM, the TLAPS proof manager
  ☆1Updated 5 years ago
• overminder / sanya-jit
  Let's (possibly) build a JIT!
  ☆29Updated last year
• jonhoo / async-lease
  An asynchronous leased value
  ☆17Updated 5 years ago
• nagisa / math.rs
  Implementation of libm in rust
  ☆34Updated 8 years ago
• nrc / stupid-stats
  Tutorial and demo of rust compiler replacement tooling
  ☆56Updated 4 years ago
• rodrimati1992 / type_level
  Libraries for declaring and using type-level values.
  ☆12Updated 6 years ago
• tokio-rs / simulation
  Framework for simulating distributed applications
  ☆102Updated 5 years ago
• jedisct1 / rust-precision
  Low overhead, high precision measurement crate for Rust
  ☆16Updated 2 months ago