Alternatives and similar repositories for depot

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

• eqlog / eqlog
  Datalog with equality for rust
  ☆69Updated 2 weeks ago
• twolodzko / prolog-rs
  Minimal Prolog implemented in Rust
  ☆45Updated last year
• reitzensteinm / temper
  Deterministic simulation of concurrency and failure in distributed systems
  ☆39Updated 3 months ago
• AeneasVerif / eurydice
  Eurydice compiles (a modest subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.
  ☆114Updated last week
• cfallin / waffle
  ☆58Updated 2 months ago
• veera-sivarajan / type-inferencer
  hindley-milner algorithm
  ☆62Updated 2 years ago
• zesterer / vm-perf
  Performance comparisons between various virtual interpreter implementation strategies
  ☆44Updated last year
• dcreager / expression-problem-rust
  Exploring the "expression problem" in Rust
  ☆50Updated 2 years ago
• cfallin / weval
  ☆174Updated 3 weeks ago
• tgecho / canrun_rs
  A Rust logic programming library inspired by the *Kanren family of language DSLs.
  ☆52Updated 6 months ago
• wenkokke / sesh
  A library for deadlock-free session-typed communication in Rust.
  ☆46Updated 4 years ago
• sdiehl / typechecker-zoo
  A menagerie of cute implementations of modern typechecking algorithms
  ☆311Updated 2 weeks ago
• brownsys / paralegal
  Paralegal is a static analyzer for Rust code that enforces privacy and security policies on programs.
  ☆40Updated this week
• Marwes / pretty.rs
  Wadler-style pretty-printing combinators in Rust
  ☆164Updated 6 months ago
• linkdd / astmaker
  Build Abstract Syntax Trees and tree-walking models quickly in Rust.
  ☆122Updated last year
• stepchowfun / tagref
  Tagref helps you manage cross-references in your code.
  ☆211Updated 2 weeks ago
• igordejanovic / rustemo
  LR/GLR parser generator for Rust https://igordejanovic.github.io/rustemo/
  ☆39Updated this week
• raviqqe / stak
  The miniature, embeddable R7RS Scheme implementation in Rust
  ☆105Updated this week
• shadaj / tree-sitter-c2rust
  A fork of Tree Sitter with a pure Rust runtime for WASM support
  ☆49Updated last month
• bruxisma / outcome
  An experiment in an augmented error handling type for Rust
  ☆40Updated 2 weeks ago
• ejrgilbert / whamm
  Debugging WebAssembly? Put some Whamm! on it.
  ☆37Updated this week
• domenicquirl / cstree
  Concrete Syntax Tree library
  ☆100Updated last month
• nikomatsakis / rust-of-my-dreams
  A playground for thinking about what Rust could be like
  ☆23Updated last year
• cu1ch3n / type-inference-zoo
  🦖 Implementations of various type inference algorithms. The new project is now at https://github.com/cu1ch3n/type-inference-zoo-frontend…
  ☆149Updated 3 months ago
• ditto-lang / ditto
  👌 A smol functional language that targets other languages
  ☆64Updated last year
• inanna-malick / recursion
  Stack safe and expressive recursion in Rust
  ☆103Updated 3 months ago
• cormacrelf / incremental-rs
  A Rust port of Jane Street's Incremental library.
  ☆27Updated 8 months ago
• bytecodealliance / waffle
  Wasm Analysis Framework For Lightweight Experiments
  ☆49Updated 2 months ago
• jfecher / golden-tests
  A golden file testing library for rust
  ☆35Updated 2 weeks ago
• yshui / job-security
  job control from anywhere!
  ☆64Updated 2 months ago