Alternatives and similar repositories for dynamic-datalog

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

• comnik / declarative-dataflow
  A reactive query engine built on differential dataflow.
  ☆321Updated 5 years ago
• frankmcsherry / differential-dataflow
  An implementation of differential dataflow using timely dataflow on Rust.
  ☆173Updated last week
• frankmcsherry / datafrog
  A lightweight Datalog engine in Rust
  ☆57Updated 2 months ago
• frankmcsherry / dataflow-join
  An implementation of Ngo et al's GenericJoin in timely dataflow.
  ☆89Updated 6 years ago
• vilterp / datalog-ts
  a datalog interpreter in typescript
  ☆212Updated 7 months ago
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆66Updated 2 years ago
• jamii / imp
  Various experiments in relational programming
  ☆272Updated 3 years ago
• samuell / awesome-datalog
  Awesome datalog libraries, tools and resources
  ☆62Updated 5 years ago
• rntz / datafun
  Research on integrating datalog & lambda calculus via monotonicity types
  ☆401Updated 3 years ago
• HarvardPL / formulog
  Datalog with support for SMT queries and first-order functional programming
  ☆161Updated 2 weeks ago
• TimelyDataflow / diagnostics
  Diagnostic tools for timely dataflow computations
  ☆46Updated 3 years ago
• madgen / datalog-crdt
  Some CRDT implementations in Datalog
  ☆16Updated 7 years ago
• HarvardPL / AbcDatalog
  Datalog that's as easy as ABC.
  ☆60Updated 3 months ago
• gregr / dbKanren
  Kanren with databases
  ☆44Updated last year
• lord / anchors
  self adjusting computations in rust
  ☆137Updated 3 years ago
• ghxiao / nrdatalog2sql
  Converting Non-Recursive Datalog to SQL
  ☆24Updated 8 years ago
• qpdb / mentat
  A persistent, relational store inspired by Datomic and DataScript.
  ☆55Updated 2 years ago
• c-cube / datalog
  An in-memory datalog implementation for OCaml.
  ☆271Updated 10 months ago
• TiarkRompf / lancet
  surgical precision JIT compilers
  ☆122Updated 8 years ago
• harp-lab / slog-lang1
  Slog 1.0
  ☆43Updated last year
• hwayne / tlacli
  A script for running TLA+/TLC from the command line
  ☆80Updated 4 years ago
• harp-lab / gdlog
  ☆83Updated 10 months ago
• Adapton / fungi-lang.rust
  Fungi: Typed incremental computation with names
  ☆69Updated 5 years ago
• afonsonf / tlaplus-graph-explorer
  A static web application to explore and animate a TLA+ state graph.
  ☆198Updated last year
• jamesbornholt / ocelot
  A synthesis-enabled solver for relational logic
  ☆28Updated 7 years ago
• hwayne / alloydocs
  Proposed documentation for alloytools.org
  ☆70Updated 9 months ago
• wernsey / Jatalog
  Java Datalog Engine with Semi-Naive Evaluation and Stratified Negation
  ☆81Updated 6 years ago
• comnik / functional-differential-programming
  FRP with 3DF and Differential Dataflow.
  ☆26Updated 5 years ago
• MaterializeInc / sqlparser
  The Materialize SQL parser
  ☆29Updated 5 years ago
• datalogui / datalog
  Build UI declaratively with Datalog.
  ☆134Updated 2 years ago