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 9 months ago
• jgm / djoths
  Haskell parser for the djot light markup language
  ☆27Updated 9 months ago
• ejrgilbert / whamm
  Debugging WebAssembly? Put some Whamm! on it.
  ☆33Updated last week
• zesterer / yurt
  A highly experiment portable runtime
  ☆20Updated last year
• matklad / window
  ☆35Updated 3 weeks ago
• rush-rs / rush
  A simple programming language for researching different ways of program execution and compilation
  ☆33Updated 9 months ago
• eqlog / eqlog
  Datalog with equality for rust
  ☆68Updated this week
• shadaj / tree-sitter-c2rust
  A fork of Tree Sitter with a pure Rust runtime for WASM support
  ☆48Updated 2 months ago
• Wasm-DSL / spectec
  Wasm SpecTec specification tools
  ☆55Updated last week
• oppiliappan / cutlass
  experimental auto-currying for rust functions
  ☆32Updated 5 years ago
• ditto-lang / ditto
  👌 A smol functional language that targets other languages
  ☆62Updated last year
• matklad / abont
  Finally, a shell for all seasons!
  ☆118Updated 6 months ago
• zesterer / vm-perf
  Performance comparisons between various virtual interpreter implementation strategies
  ☆42Updated last year
• cu1ch3n / type-inference-zoo
  🦖 Implementations of various type inference algorithms. Online interactive playground is available at https://zoo.cuichen.cc/
  ☆141Updated 3 weeks ago
• dylibso / wasmstore
  A content-addressable datastore for WebAssembly modules
  ☆54Updated 9 months ago
• dcreager / expression-problem-rust
  Exploring the "expression problem" in Rust
  ☆50Updated 2 years ago
• veera-sivarajan / type-inferencer
  hindley-milner algorithm
  ☆61Updated 2 years ago
• bytecodealliance / weval
  the WebAssembly partial evaluator
  ☆76Updated last week
• Wilfred / garden
  an interactive programming language
  ☆45Updated this week
• fan-tom / liquid-rust
  Liquid Types implementation for Rust
  ☆29Updated 2 years ago
• GaloisInc / daedalus
  The Daedalus data description language
  ☆74Updated 3 months ago
• stepchowfun / tagref
  Tagref helps you manage cross-references in your code.
  ☆206Updated last week
• FStarLang / pulse
  The Pulse separation logic DSL for F*
  ☆21Updated this week
• wenkokke / sesh
  A library for deadlock-free session-typed communication in Rust.
  ☆46Updated 4 years ago
• reitzensteinm / temper
  Deterministic simulation of concurrency and failure in distributed systems
  ☆39Updated last month
• langston-barrett / mogglo
  Multi-language AST-based code search and rewriting tool that supports embedding Lua code in patterns
  ☆30Updated last year
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆66Updated 2 years ago
• P-bibs / skiff
  A gradually-typed, functional scripting language with a friendly syntax and interpreter written in Rust!
  ☆31Updated 3 years ago
• yorickpeterse / pattern-matching-in-rust
  Pattern matching and exhaustiveness checking algorithms implemented in Rust
  ☆220Updated 8 months ago
• raviqqe / stak
  The miniature, embeddable R7RS Scheme implementation in Rust
  ☆95Updated last week