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 2 weeks ago
• eqlog / eqlog
  Datalog with equality for rust
  ☆69Updated 2 weeks ago
• dcreager / expression-problem-rust
  Exploring the "expression problem" in Rust
  ☆50Updated 3 years ago
• tosc-rs / mgnp
  MnemOS Global Networking Protocol
  ☆15Updated last year
• 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 4 months ago
• tgecho / canrun_rs
  A Rust logic programming library inspired by the *Kanren family of language DSLs.
  ☆53Updated 7 months ago
• readysettech / proptest-stateful
  Library for building stateful property tests using the proptest crate
  ☆25Updated last week
• maybevoid / lambek
  Type-Level Programming in Rust
  ☆28Updated 3 years ago
• brownsys / paralegal
  Paralegal is a static analyzer for Rust code that enforces privacy and security policies on programs.
  ☆40Updated last week
• AeneasVerif / eurydice
  Eurydice compiles (a decent subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.
  ☆119Updated this week
• zesterer / vm-perf
  Performance comparisons between various virtual interpreter implementation strategies
  ☆45Updated last year
• veera-sivarajan / type-inferencer
  hindley-milner algorithm
  ☆62Updated 2 years ago
• ferrite-rs / ferrite
  Session Type EDSL for Rust
  ☆103Updated 3 years ago
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆66Updated 2 years ago
• ditto-lang / ditto
  👌 A smol functional language that targets other languages
  ☆64Updated last year
• cu1ch3n / type-inference-zoo
  🦖 Implementations of various type inference algorithms. The new project is now at https://github.com/cu1ch3n/type-inference-zoo-frontend…
  ☆150Updated 3 months ago
• cfallin / weval
  ☆174Updated last month
• frankmcsherry / datatoad
  An interactive Datalog
  ☆51Updated this week
• bytecodealliance / weval
  the WebAssembly partial evaluator
  ☆104Updated last month
• shadaj / tree-sitter-c2rust
  A fork of Tree Sitter with a pure Rust runtime for WASM support
  ☆50Updated last month
• cfallin / waffle
  ☆58Updated 3 months ago
• jfecher / golden-tests
  A golden file testing library for rust
  ☆37Updated 3 weeks ago
• ejrgilbert / whamm
  Debugging WebAssembly? Put some Whamm! on it.
  ☆44Updated this week
• dylibso / wasmstore
  A content-addressable datastore for WebAssembly modules
  ☆56Updated last year
• oppiliappan / cutlass
  experimental auto-currying for rust functions
  ☆32Updated 5 years ago
• lsd-ucsc / ChoRus
  🎶 Choreographic programming in Rust 🎶
  ☆59Updated 7 months ago
• jasonjmcghee / basic-treesitter-cranelift-jit
  Simple live calculator in tree-sitter + cranelift jit
  ☆75Updated 10 months ago
• nikomatsakis / rust-of-my-dreams
  A playground for thinking about what Rust could be like
  ☆23Updated last year
• rachitnigam / runt
  A lighweight and parallel snapshot testing framework in rust
  ☆37Updated 2 years ago