Alternatives and similar repositories for Lotsawa

Users that are interested in Lotsawa are comparing it to the libraries listed below

• eqlog / eqlog
  Datalog with equality for rust
  ☆69Updated 2 weeks ago
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆66Updated 2 years ago
• frengor / rust-cc
  A fast garbage collector based on cycle collection for Rust programs.
  ☆22Updated 10 months ago
• mwillsey / egg
  egg is a flexible, high-performance e-graph library
  ☆12Updated last year
• kyouko-taiga / mvs-calculus
  Compiler for Swiftlet
  ☆36Updated last year
• femtomc / abstraps
  Pull your compiler up with abstract bootstraps.
  ☆31Updated 2 years ago
• jameysharp / pikevm
  An implementation of "Regular Expression Matching: the Virtual Machine Approach"
  ☆22Updated last year
• benwr / bromberg_sl2
  Cayley hashing as in "Navigating in the Cayley Graph of SL₂(𝔽ₚ)"
  ☆57Updated 2 months ago
• tgecho / canrun_rs
  A Rust logic programming library inspired by the *Kanren family of language DSLs.
  ☆52Updated 6 months ago
• graydon / exhaustigen
  ☆11Updated 3 years ago
• tangentstorm / bex
  A rust crate for boolean expressions (expression trees, decision diagrams, etc.)
  ☆33Updated 3 weeks ago
• sdleffler / whisper
  Logic programming, for Rust, from inside Rust.
  ☆42Updated 5 years ago
• advancedresearch / poi
  a pragmatic point-free theorem prover assistant
  ☆142Updated this week
• viperproject / prusti-assistant
  VS Code extension to verify Rust programs with the Prusti verifier.
  ☆24Updated 3 weeks ago
• c-cube / batsat
  A (parametrized) Rust SAT solver originally based on MiniSat
  ☆31Updated 8 months ago
• igordejanovic / rustemo
  LR/GLR parser generator for Rust https://igordejanovic.github.io/rustemo/
  ☆39Updated this week
• NeoCogi / pfds
  ☆19Updated 3 weeks ago
• paulstansifer / unseemly
  Macros have types!
  ☆131Updated 2 years ago
• advancedresearch / avalog
  An experimental implementation of Avatar Logic with a Prolog-like syntax
  ☆68Updated last year
• wenkokke / sesh
  A library for deadlock-free session-typed communication in Rust.
  ☆46Updated 4 years ago
• GaloisInc / daedalus
  The Daedalus data description language
  ☆80Updated 6 months ago
• bytecodealliance / weval
  the WebAssembly partial evaluator
  ☆97Updated 3 weeks ago
• morphic-lang / morphic
  Pure functional programming with whole-program mutability inference
  ☆75Updated last month
• irrustible / ointers
  What do you call a pointer we stole the high bits off? An ointer.
  ☆87Updated 2 years ago
• secure-foundations / vWasm
  A formally-verified provably-safe sandboxing Wasm-to-native compiler
  ☆27Updated 3 years ago
• true-grue / graph-irs
  Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"
  ☆21Updated last year
• nikomatsakis / bidir-type-infer
  Implementing the type system described in the paper "Complete and Easy Bidirectional Type Inference" in Rust
  ☆46Updated 9 years ago
• diku-dk / futhark-benchmarks
  Various Futhark benchmark programs
  ☆42Updated last month
• aslpavel / fingertree-rs
  FingerTree implemented in rust
  ☆23Updated last year
• playXE / garbage-collector
  Garbage collector implementation in Rust for Rust
  ☆13Updated 5 years ago