Alternatives and similar repositories for differential-datalog

Users that are interested in differential-datalog are comparing it to the libraries listed below

• jamii / dida
  Differential dataflow for mere mortals
  ☆525Updated 3 years ago
• rust-lang / datafrog
  A lightweight Datalog engine in Rust
  ☆844Updated 3 years ago
• souffle-lang / souffle
  Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program f…
  ☆1,020Updated last week
• TimelyDataflow / differential-dataflow
  An implementation of differential dataflow using timely dataflow on Rust.
  ☆2,844Updated 3 weeks ago
• frankmcsherry / differential-dataflow
  An implementation of differential dataflow using timely dataflow on Rust.
  ☆175Updated 3 weeks ago
• ekzhang / crepe
  Datalog compiler embedded in Rust as a procedural macro
  ☆485Updated last year
• magmide / magmide
  A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.
  ☆831Updated last year
• stateright / stateright
  A model checker for implementing distributed systems.
  ☆1,724Updated 3 months ago
• jepsen-io / elle
  Black-box transactional safety checker based on cycle detection
  ☆677Updated 3 weeks ago
• apalache-mc / apalache
  APALACHE: symbolic model checker for TLA+ and Quint
  ☆505Updated this week
• mthom / scryer-prolog
  A modern Prolog implementation written mostly in Rust.
  ☆2,315Updated 3 weeks ago
• rntz / datafun
  Research on integrating datalog & lambda calculus via monotonicity types
  ☆405Updated 3 years ago
• lemmy / BlockingQueue
  Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!
  ☆495Updated last year
• ekzhang / percival
  📝 Web-based, reactive Datalog notebooks for data analysis and visualization
  ☆627Updated 2 years ago
• AlloyTools / org.alloytools.alloy
  Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from findin…
  ☆794Updated 5 months ago
• sarsko / CreuSAT
  CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
  ☆661Updated 5 months ago
• vekatze / neut
  A programming language with static memory management based on λ-calculus
  ☆1,006Updated last month
• stepchowfun / typical
  Data interchange with algebraic data types.
  ☆752Updated last week
• Adapton / adapton.rust
  General-purpose abstractions for incremental computing, in Rust
  ☆361Updated 3 years ago
• spacejam / tla-rust
  writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+
  ☆1,053Updated 8 years ago
• egraphs-good / egg
  egg is a flexible, high-performance e-graph library
  ☆1,598Updated last month
• hydromatic / morel
  A functional query language
  ☆350Updated last week
• hwayne / lets-prove-leftpad
  Proving leftpad correct two-dozen different ways
  ☆705Updated 6 months ago
• cofibrant / micro-mitten
  You might not need your garbage collector
  ☆541Updated 5 years ago
• mrakgr / The-Spiral-Language
  Functional language with intensional polymorphism and first-class staging.
  ☆940Updated this week
• mirage / irmin
  Irmin is a distributed database that follows the same design principles as Git
  ☆1,908Updated last week
• GaloisInc / crucible
  Crucible is a library for symbolic simulation of imperative programs
  ☆750Updated this week
• vmware-archive / database-stream-processor
  Streaming and Incremental Computation Framework
  ☆244Updated 2 years ago
• vilterp / datalog-ts
  a datalog interpreter in typescript
  ☆212Updated 10 months ago
• Mercury-Language / mercury
  The Mercury logic programming system.
  ☆973Updated last week