Alternatives and similar repositories for depot

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

• twolodzko / prolog-rs
  Minimal Prolog implemented in Rust
  ☆44Updated 10 months ago
• eqlog / eqlog
  Datalog with equality for rust
  ☆68Updated this week
• brownsys / paralegal
  Paralegal is a static analyzer for Rust code that enforces privacy and security policies on programs.
  ☆33Updated 3 weeks ago
• cfallin / weval
  ☆173Updated 9 months ago
• reitzensteinm / temper
  Deterministic simulation of concurrency and failure in distributed systems
  ☆38Updated 2 months ago
• bytecodealliance / weval
  the WebAssembly partial evaluator
  ☆85Updated last month
• cu1ch3n / type-inference-zoo
  🦖 Implementations of various type inference algorithms. Online interactive playground is available at https://zoo.cuichen.cc/
  ☆146Updated last month
• cfallin / waffle
  ☆58Updated last month
• zesterer / vm-perf
  Performance comparisons between various virtual interpreter implementation strategies
  ☆44Updated last year
• matklad / abont
  Finally, a shell for all seasons!
  ☆119Updated 7 months ago
• stepchowfun / tagref
  Tagref helps you manage cross-references in your code.
  ☆207Updated last month
• dcreager / expression-problem-rust
  Exploring the "expression problem" in Rust
  ☆50Updated 2 years ago
• veera-sivarajan / type-inferencer
  hindley-milner algorithm
  ☆62Updated 2 years ago
• nikomatsakis / rust-of-my-dreams
  A playground for thinking about what Rust could be like
  ☆23Updated 11 months ago
• ferrite-rs / ferrite
  Session Type EDSL for Rust
  ☆104Updated 3 years ago
• linkdd / astmaker
  Build Abstract Syntax Trees and tree-walking models quickly in Rust.
  ☆122Updated last year
• jasonjmcghee / basic-treesitter-cranelift-jit
  Simple live calculator in tree-sitter + cranelift jit
  ☆75Updated 8 months ago
• ditto-lang / ditto
  👌 A smol functional language that targets other languages
  ☆62Updated last year
• wenkokke / sesh
  A library for deadlock-free session-typed communication in Rust.
  ☆46Updated 4 years ago
• AeneasVerif / eurydice
  Eurydice compiles (a modest subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.
  ☆110Updated this week
• shadaj / tree-sitter-c2rust
  A fork of Tree Sitter with a pure Rust runtime for WASM support
  ☆48Updated 3 months ago
• bruxisma / outcome
  An experiment in an augmented error handling type for Rust
  ☆39Updated last week
• Marwes / pretty.rs
  Wadler-style pretty-printing combinators in Rust
  ☆162Updated 4 months ago
• 0x2a-42 / lelwel
  Resilient LL(1) parser generator for Rust
  ☆164Updated 2 weeks ago
• yorickpeterse / pattern-matching-in-rust
  Pattern matching and exhaustiveness checking algorithms implemented in Rust
  ☆221Updated 9 months ago
• irrustible / ointers
  What do you call a pointer we stole the high bits off? An ointer.
  ☆87Updated last year
• matklad / window
  ☆37Updated last month
• bytecodealliance / waffle
  Wasm Analysis Framework For Lightweight Experiments
  ☆49Updated last month
• jfecher / golden-tests
  A golden file testing library for rust
  ☆33Updated last week
• advancedresearch / prop
  Propositional logic with types in Rust
  ☆62Updated 2 years ago