Alternatives and similar repositories for differential-datalog

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

• rust-lang / datafrog
  A lightweight Datalog engine in Rust
  ☆826Updated 3 years ago
• TimelyDataflow / differential-dataflow
  An implementation of differential dataflow using timely dataflow on Rust.
  ☆2,751Updated this week
• jamii / dida
  Differential dataflow for mere mortals
  ☆522Updated 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…
  ☆992Updated last week
• frankmcsherry / differential-dataflow
  An implementation of differential dataflow using timely dataflow on Rust.
  ☆171Updated this week
• stateright / stateright
  A model checker for implementing distributed systems.
  ☆1,664Updated last month
• comnik / declarative-dataflow
  A reactive query engine built on differential dataflow.
  ☆320Updated 5 years ago
• ekzhang / crepe
  Datalog compiler embedded in Rust as a procedural macro
  ☆474Updated last year
• cofibrant / micro-mitten
  You might not need your garbage collector
  ☆543Updated 5 years ago
• mozilla / mentat
  UNMAINTAINED A persistent, relational store inspired by Datomic and DataScript.
  ☆1,653Updated 6 years ago
• jepsen-io / elle
  Black-box transactional safety checker based on cycle detection
  ☆668Updated last month
• magmide / magmide
  A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.
  ☆824Updated last year
• janestreet / incremental
  A library for incremental computations
  ☆919Updated 2 weeks ago
• ekzhang / percival
  📝 Web-based, reactive Datalog notebooks for data analysis and visualization
  ☆618Updated 2 years ago
• mirage / irmin
  Irmin is a distributed database that follows the same design principles as Git
  ☆1,886Updated last week
• xtdb / xtdb
  An immutable SQL database for application development, time-travel reporting and data compliance. Developed by @juxt
  ☆2,720Updated this week
• mthom / scryer-prolog
  A modern Prolog implementation written mostly in Rust.
  ☆2,245Updated this week
• vekatze / neut
  A programming language with static memory management based on λ-calculus
  ☆1,005Updated this week
• TimelyDataflow / timely-dataflow
  A modular implementation of timely dataflow in Rust
  ☆3,468Updated this week
• spacejam / tla-rust
  writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+
  ☆1,055Updated 8 years ago
• rntz / datafun
  Research on integrating datalog & lambda calculus via monotonicity types
  ☆400Updated 3 years ago
• zesterer / tao
  A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebrai…
  ☆1,125Updated 3 months ago
• vrtbl / passerine
  A small extensible programming language designed for concise expression with little code.
  ☆1,076Updated 9 months ago
• juji-io / datalevin
  A simple, fast and versatile Datalog database
  ☆1,271Updated 3 weeks ago
• jamii / imp
  Various experiments in relational programming
  ☆272Updated 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!
  ☆493Updated 7 months ago
• hazelgrove / hazel
  Hazel, a live functional programming environment with typed holes
  ☆930Updated this week
• replikativ / datahike
  A fast, immutable, distributed & compositional Datalog engine for everyone.
  ☆1,670Updated last week
• afnanenayet / diffsitter
  A tree-sitter based AST difftool to get meaningful semantic diffs
  ☆1,770Updated this week
• apalache-mc / apalache
  APALACHE: symbolic model checker for TLA+ and Quint
  ☆468Updated last month