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
  ☆45Updated last month
• eqlog / eqlog
  Datalog with equality for rust
  ☆71Updated 2 weeks ago
• cfallin / weval
  ☆174Updated 2 months ago
• shadaj / tree-sitter-c2rust
  A fork of Tree Sitter with a pure Rust runtime for WASM support
  ☆50Updated 2 months ago
• bytecodealliance / weval
  the WebAssembly partial evaluator
  ☆106Updated 2 months ago
• cfallin / waffle
  ☆58Updated 4 months ago
• willcrichton / model-js-workspace
  My personal standard for how to set up a Javascript workspace
  ☆15Updated 2 years ago
• reitzensteinm / temper
  Deterministic simulation of concurrency and failure in distributed systems
  ☆39Updated 5 months ago
• dylibso / wasmstore
  A content-addressable datastore for WebAssembly modules
  ☆56Updated last year
• zesterer / vm-perf
  Performance comparisons between various virtual interpreter implementation strategies
  ☆45Updated last year
• wenkokke / sesh
  A library for deadlock-free session-typed communication in Rust.
  ☆46Updated 4 years ago
• ejrgilbert / whamm
  Debugging WebAssembly? Put some Whamm! on it.
  ☆44Updated last week
• dcreager / expression-problem-rust
  Exploring the "expression problem" in Rust
  ☆50Updated 3 years ago
• jfecher / golden-tests
  A golden file testing library for rust
  ☆37Updated last month
• brownsys / paralegal
  Paralegal is a static analyzer for Rust code that enforces privacy and security policies on programs.
  ☆41Updated this week
• cu1ch3n / type-inference-zoo
  🦖 Implementations of various type inference algorithms. The new project is now at https://github.com/cu1ch3n/type-inference-zoo-frontend…
  ☆151Updated 4 months ago
• tehwalris / forest
  A multi-cursor structural editor prototype for TypeScript
  ☆60Updated 2 years ago
• AeneasVerif / eurydice
  Eurydice compiles (a decent subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.
  ☆124Updated last week
• matklad / abont
  Finally, a shell for all seasons!
  ☆123Updated 10 months ago
• paulstansifer / unseemly
  Macros have types!
  ☆133Updated 2 years ago
• Wasm-DSL / spectec
  Wasm SpecTec specification tools
  ☆77Updated last week
• aslpavel / fingertree-rs
  FingerTree implemented in rust
  ☆27Updated last year
• zesterer / yurt
  A highly experiment portable runtime
  ☆20Updated last year
• Marwes / pretty.rs
  Wadler-style pretty-printing combinators in Rust
  ☆171Updated last month
• ditto-lang / ditto
  👌 A smol functional language that targets other languages
  ☆65Updated last year
• Wilfred / garden
  an interactive programming language
  ☆50Updated last week
• langston-barrett / mogglo
  Multi-language AST-based code search and rewriting tool that supports embedding Lua code in patterns
  ☆32Updated last year
• yorickpeterse / pattern-matching-in-rust
  Pattern matching and exhaustiveness checking algorithms implemented in Rust
  ☆226Updated last year
• veera-sivarajan / type-inferencer
  hindley-milner algorithm
  ☆62Updated 2 years ago
• oppiliappan / cutlass
  experimental auto-currying for rust functions
  ☆32Updated 5 years ago