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
  ☆46Updated 3 months ago
• cfallin / weval
  ☆174Updated 4 months ago
• eqlog / eqlog
  Datalog with equality for rust
  ☆73Updated 3 weeks ago
• frankmcsherry / datatoad
  An interactive Datalog
  ☆64Updated last week
• reitzensteinm / temper
  Deterministic simulation of concurrency and failure in distributed systems
  ☆39Updated 7 months ago
• bytecodealliance / weval
  the WebAssembly partial evaluator
  ☆112Updated 4 months ago
• shadaj / tree-sitter-c2rust
  A fork of Tree Sitter with a pure Rust runtime for WASM support
  ☆53Updated 4 months ago
• avsm / httpz
  Zero heap allocation HTTP server using OxCaml. v experimental!
  ☆60Updated this week
• cfallin / waffle
  ☆58Updated 6 months ago
• linkdd / astmaker
  Build Abstract Syntax Trees and tree-walking models quickly in Rust.
  ☆123Updated last year
• veera-sivarajan / type-inferencer
  hindley-milner algorithm
  ☆62Updated 2 years ago
• alpha-convert / minikv
  A little KV store implementation in OCaml to practice DB systems things
  ☆27Updated this week
• ekzhang / ukanren-rs
  Rust implementation of µKanren, a featherweight relational programming language.
  ☆116Updated 3 years ago
• ditto-lang / ditto
  👌 A smol functional language that targets other languages
  ☆66Updated last year
• dylibso / wasmstore
  A content-addressable datastore for WebAssembly modules
  ☆59Updated last year
• oppiliappan / cutlass
  experimental auto-currying for rust functions
  ☆32Updated 5 years ago
• sampsyo / flatcalc
  world's worst interpreter
  ☆66Updated 8 months ago
• ejrgilbert / whamm
  Debugging WebAssembly? Put some Whamm! on it.
  ☆63Updated 3 weeks ago
• willcrichton / model-js-workspace
  My personal standard for how to set up a Javascript workspace
  ☆15Updated 2 years ago
• cu1ch3n / type-inference-zoo
  🦖 Implementations of various type inference algorithms. The new project is now at https://github.com/cu1ch3n/type-inference-zoo-frontend…
  ☆153Updated 6 months ago
• yorickpeterse / pattern-matching-in-rust
  Pattern matching and exhaustiveness checking algorithms implemented in Rust
  ☆230Updated last year
• dcreager / expression-problem-rust
  Exploring the "expression problem" in Rust
  ☆50Updated 3 years ago
• bruxisma / outcome
  An experiment in an augmented error handling type for Rust
  ☆40Updated 4 months ago
• Wilfred / garden
  an interactive programming language
  ☆51Updated this week
• jasonjmcghee / basic-treesitter-cranelift-jit
  Simple live calculator in tree-sitter + cranelift jit
  ☆75Updated last year
• zesterer / yurt
  A highly experiment portable runtime
  ☆21Updated last year
• AeneasVerif / eurydice
  Eurydice compiles (a decent subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.
  ☆274Updated last week
• tgecho / canrun_rs
  A Rust logic programming library inspired by the *Kanren family of language DSLs.
  ☆54Updated 9 months ago
• brownsys / paralegal
  Paralegal is a static analyzer for Rust code that enforces privacy and security policies on programs.
  ☆43Updated last month
• mrLSD / semantic-analyzer-rs
  Semantic analyzer library for compilers written in Rust for semantic analysis of programming languages AST
  ☆43Updated 10 months ago