Alternatives and similar repositories for differential-datalog:

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

• TimelyDataflow / differential-dataflow
  An implementation of differential dataflow using timely dataflow on Rust.
  ☆2,621Updated this week
• rust-lang / datafrog
  A lightweight Datalog engine in Rust
  ☆806Updated 3 years ago
• jamii / dida
  Differential dataflow for mere mortals
  ☆517Updated 2 years ago
• frankmcsherry / differential-dataflow
  An implementation of differential dataflow using timely dataflow on Rust.
  ☆163Updated last month
• stateright / stateright
  A model checker for implementing distributed systems.
  ☆1,605Updated 3 months 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…
  ☆951Updated this week
• jepsen-io / elle
  Black-box transactional safety checker based on cycle detection
  ☆647Updated 3 months ago
• ekzhang / crepe
  Datalog compiler embedded in Rust as a procedural macro
  ☆467Updated 10 months ago
• lemmy / BlockingQueue
  Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!
  ☆491Updated 3 months ago
• egraphs-good / egg
  egg is a flexible, high-performance e-graph library
  ☆1,421Updated 3 weeks ago
• TimelyDataflow / timely-dataflow
  A modular implementation of timely dataflow in Rust
  ☆3,342Updated this week
• ekzhang / percival
  📝 Web-based, reactive Datalog notebooks for data analysis and visualization
  ☆608Updated last year
• rntz / datafun
  Research on integrating datalog & lambda calculus via monotonicity types
  ☆391Updated 2 years ago
• doctorn / micro-mitten
  You might not need your garbage collector
  ☆540Updated 4 years ago
• apalache-mc / apalache
  APALACHE: symbolic model checker for TLA+ and Quint
  ☆445Updated last week
• hydro-project / hydro
  Monorepo for the Hydro Project
  ☆500Updated this week
• sarsko / CreuSAT
  CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
  ☆623Updated 9 months ago
• magmide / magmide
  A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.
  ☆812Updated 9 months ago
• hazelgrove / hazel
  Hazel, a live functional programming environment with typed holes
  ☆860Updated this week
• egraphs-good / egglog
  egraphs + datalog!
  ☆485Updated last week
• hwayne / lets-prove-leftpad
  Proving leftpad correct two-dozen different ways
  ☆662Updated 2 months ago
• afonsonf / tlaplus-graph-explorer
  A static web application to explore and animate a TLA+ state graph.
  ☆197Updated last year
• GaloisInc / crucible
  Crucible is a library for symbolic simulation of imperative programs
  ☆692Updated this week
• stepchowfun / typical
  Data interchange with algebraic data types.
  ☆610Updated 3 weeks ago
• vilterp / datalog-ts
  a datalog interpreter in typescript
  ☆209Updated 3 weeks ago
• mthom / scryer-prolog
  A modern Prolog implementation written mostly in Rust.
  ☆2,131Updated this week
• vekatze / neut
  A functional programming language with static memory management
  ☆840Updated last month
• facebookexperimental / hermit
  Hermit launches linux x86_64 programs in a special, hermetically isolated sandbox to control their execution. Hermit translates normal, n…
  ☆1,232Updated this week
• spacejam / tla-rust
  writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+
  ☆1,051Updated 7 years ago
• zesterer / tao
  A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebrai…
  ☆1,105Updated last year