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
  ☆43Updated 4 months ago
• eqlog / eqlog
  Datalog with equality for rust
  ☆68Updated 3 months ago
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆65Updated last year
• willcrichton / model-js-workspace
  My personal standard for how to set up a Javascript workspace
  ☆14Updated last year
• LightAndLight / ipso
  A functional scripting language.
  ☆18Updated last month
• fan-tom / liquid-rust
  Liquid Types implementation for Rust
  ☆29Updated 2 years ago
• jgm / djoths
  Haskell parser for the djot light markup language
  ☆24Updated 4 months ago
• rush-rs / rush
  A simple programming language for researching different ways of program execution and compilation
  ☆30Updated 4 months ago
• readysettech / proptest-stateful
  Library for building stateful property tests using the proptest crate
  ☆23Updated 8 months ago
• ferrite-rs / ferrite
  Session Type EDSL for Rust
  ☆103Updated 2 years ago
• bytecodealliance / weval
  the WebAssembly partial evaluator
  ☆46Updated 3 months ago
• shwestrick / mpl-1brc
  Solving the 1 Billion Row Challenge in MPL
  ☆17Updated last year
• miestrode / ekege
  A different approach to an E-graph library
  ☆25Updated 4 months ago
• wenkokke / sesh
  A library for deadlock-free session-typed communication in Rust.
  ☆46Updated 4 years ago
• dcreager / expression-problem-rust
  Exploring the "expression problem" in Rust
  ☆47Updated 2 years ago
• matklad / window
  ☆32Updated 6 months ago
• fprasx / peapod
  Ultra-compact storage for collections of enums 🌱
  ☆23Updated 2 years ago
• sldty / kitbag
  Kitbag is a content-addressed versioned tree-structured graph-based datastore.
  ☆14Updated 3 years ago
• veera-sivarajan / type-inferencer
  hindley-milner algorithm
  ☆54Updated last year
• tchajed / database-stream-processing-theory
  Formalization of DBSP
  ☆16Updated last year
• advancedresearch / prop
  Propositional logic with types in Rust
  ☆62Updated last year
• reitzensteinm / temper
  Deterministic simulation of concurrency and failure in distributed systems
  ☆35Updated 5 months ago
• rachitnigam / runt
  A lighweight and parallel snapshot testing framework in rust
  ☆31Updated last year
• maybevoid / lambek
  Type-Level Programming in Rust
  ☆27Updated 3 years ago
• ditto-lang / ditto
  👌 A smol functional language that targets other languages
  ☆62Updated last year
• hazelgrove / diy-hazelnut
  A template for you to implement Hazelnut yourself
  ☆21Updated last month
• axodotdev / axolotlsay
  💬 a CLI for learning to distribute CLIs in rust
  ☆26Updated last month
• c-cube / linol
  Wrapper around the OCaml `lsp` library to make it easier to write LSP servers
  ☆32Updated 2 weeks ago
• mrLSD / semantic-analyzer-rs
  Semantic analyzer library for compilers written in Rust for semantic analysis of programming languages AST
  ☆39Updated 6 months ago