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
• matklad / window
  ☆34Updated last month
• FStarLang / pulse
  The Pulse separation logic DSL for F*
  ☆16Updated last week
• willcrichton / model-js-workspace
  My personal standard for how to set up a Javascript workspace
  ☆14Updated last year
• eqlog / eqlog
  Datalog with equality for rust
  ☆68Updated 2 weeks ago
• shadaj / tree-sitter-c2rust
  A fork of Tree Sitter with a pure Rust runtime for WASM support
  ☆47Updated 3 weeks ago
• dada-lang / dada-model
  Why can't a tree be called Pluplusch?
  ☆28Updated 2 weeks ago
• reitzensteinm / temper
  Deterministic simulation of concurrency and failure in distributed systems
  ☆35Updated 8 months ago
• nikomatsakis / rust-of-my-dreams
  A playground for thinking about what Rust could be like
  ☆23Updated 8 months ago
• veera-sivarajan / type-inferencer
  hindley-milner algorithm
  ☆59Updated last year
• rush-rs / rush
  A simple programming language for researching different ways of program execution and compilation
  ☆32Updated 7 months ago
• fan-tom / liquid-rust
  Liquid Types implementation for Rust
  ☆29Updated 2 years ago
• FStarLang / steel
  The Steel separation logic library for F*
  ☆34Updated last week
• ejrgilbert / whamm
  Debugging WebAssembly? Put some Whamm! on it.
  ☆30Updated last week
• dcreager / expression-problem-rust
  Exploring the "expression problem" in Rust
  ☆48Updated 2 years ago
• mrLSD / semantic-analyzer-rs
  Semantic analyzer library for compilers written in Rust for semantic analysis of programming languages AST
  ☆39Updated 2 months ago
• Storyyeller / polysubml-demo
  A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference
  ☆45Updated 3 months ago
• conjure-cp / uniplate
  Simple, boilerplate-free operations on tree shaped data types. Port of the Uniplate Haskell library into Rust.
  ☆21Updated last month
• jgm / djoths
  Haskell parser for the djot light markup language
  ☆25Updated 7 months ago
• sldty / kitbag
  Kitbag is a content-addressed versioned tree-structured graph-based datastore.
  ☆14Updated 3 years ago
• ditto-lang / ditto
  👌 A smol functional language that targets other languages
  ☆62Updated last year
• zesterer / vm-perf
  Performance comparisons between various virtual interpreter implementation strategies
  ☆42Updated last year
• bytecodealliance / weval
  the WebAssembly partial evaluator
  ☆55Updated 5 months ago
• igordejanovic / rustemo
  LR/GLR parser generator for Rust https://igordejanovic.github.io/rustemo/
  ☆38Updated this week
• bytecodealliance / waffle
  Wasm Analysis Framework For Lightweight Experiments
  ☆46Updated 5 months ago
• brownsys / paralegal
  Statically Enforce Privacy and Security Policies on Rust code using dataflow analysis enhanced by exploiting ownership types. You can sig…
  ☆19Updated 2 weeks ago
• 0xGlitchbyte / OCrab
  A Rust to OCaml source to source translator
  ☆21Updated last year
• lyphyser / deptypes
  ☆16Updated last year
• willcrichton / indexical
  Human-friendly indexed collections
  ☆53Updated 2 months ago