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 7 months ago
• zesterer / yurt
  A highly experiment portable runtime
  ☆19Updated last year
• FStarLang / pulse
  The Pulse separation logic DSL for F*
  ☆16Updated last week
• Storyyeller / polysubml-demo
  A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference
  ☆43Updated 2 months ago
• eqlog / eqlog
  Datalog with equality for rust
  ☆68Updated 5 months ago
• veera-sivarajan / type-inferencer
  hindley-milner algorithm
  ☆58Updated last year
• cdfa / frugel
  An error-tolerant live programming environment (my Master's thesis)
  ☆18Updated 2 years ago
• matklad / window
  ☆34Updated last week
• shadaj / tree-sitter-c2rust
  A fork of Tree Sitter with a pure Rust runtime for WASM support
  ☆47Updated this week
• marianoguerra / mclulang
  McLulang: The message is the language
  ☆10Updated 8 months ago
• dcreager / expression-problem-rust
  Exploring the "expression problem" in Rust
  ☆48Updated 2 years ago
• ferrite-rs / ferrite
  Session Type EDSL for Rust
  ☆102Updated 2 years ago
• bytecodealliance / weval
  the WebAssembly partial evaluator
  ☆53Updated 5 months ago
• sunshowers / spr
  Fork of spacedentist/spr with support for Jujutsu (jj) and commit signing
  ☆42Updated 4 months ago
• sldty / kitbag
  Kitbag is a content-addressed versioned tree-structured graph-based datastore.
  ☆14Updated 3 years ago
• hazelgrove / diy-hazelnut
  A template for you to implement Hazelnut yourself
  ☆21Updated 3 months ago
• dada-lang / dada-model
  Why can't a tree be called Pluplusch?
  ☆28Updated this week
• tchajed / database-stream-processing-theory
  Formalization of DBSP
  ☆17Updated last year
• 0xGlitchbyte / OCrab
  A Rust to OCaml source to source translator
  ☆21Updated last year
• willcrichton / model-js-workspace
  My personal standard for how to set up a Javascript workspace
  ☆14Updated last year
• rush-rs / rush
  A simple programming language for researching different ways of program execution and compilation
  ☆32Updated 6 months ago
• raviqqe / stak
  The miniature, embeddable R7RS Scheme implementation in Rust
  ☆85Updated this week
• fan-tom / liquid-rust
  Liquid Types implementation for Rust
  ☆29Updated 2 years ago
• ejrgilbert / whamm
  Debugging WebAssembly? Put some Whamm! on it.
  ☆27Updated last week
• nwoeanhinnogaehr / algorithmw-rust
  A basic implementation of Hindley-Milner type inference via Algorithm W in Rust.
  ☆44Updated 8 years ago
• Wasm-DSL / spectec
  Wasm SpecTec specification tools
  ☆50Updated last week
• nikomatsakis / rust-of-my-dreams
  A playground for thinking about what Rust could be like
  ☆23Updated 8 months ago
• zesterer / vm-perf
  Performance comparisons between various virtual interpreter implementation strategies
  ☆42Updated last year
• reitzensteinm / temper
  Deterministic simulation of concurrency and failure in distributed systems
  ☆35Updated 8 months ago
• maybevoid / lambek
  Type-Level Programming in Rust
  ☆27Updated 3 years ago