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.
  ☆315Updated 5 years ago
• frankmcsherry / differential-dataflow
  An implementation of differential dataflow using timely dataflow on Rust.
  ☆164Updated last month
• frankmcsherry / datafrog
  A lightweight Datalog engine in Rust
  ☆57Updated 6 years ago
• frankmcsherry / dataflow-join
  An implementation of Ngo et al's GenericJoin in timely dataflow.
  ☆87Updated 5 years ago
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆65Updated last year
• TimelyDataflow / diagnostics
  Diagnostic tools for timely dataflow computations
  ☆43Updated 2 years ago
• HarvardPL / formulog
  Datalog with support for SMT queries and first-order functional programming
  ☆155Updated 3 months ago
• eqlog / eqlog
  Datalog with equality for rust
  ☆68Updated 3 months ago
• Kixiron / ddshow
  Visualization for Timely Dataflow and Differential Dataflow programs
  ☆67Updated 3 years ago
• samuell / awesome-datalog
  Awesome datalog libraries, tools and resources
  ☆59Updated 5 years ago
• c-cube / datalog
  An in-memory datalog implementation for OCaml.
  ☆266Updated 4 months ago
• lord / anchors
  self adjusting computations in rust
  ☆134Updated 3 years ago
• comnik / functional-differential-programming
  FRP with 3DF and Differential Dataflow.
  ☆26Updated 5 years ago
• madgen / datalog-crdt
  Some CRDT implementations in Datalog
  ☆15Updated 6 years ago
• HarvardPL / AbcDatalog
  Datalog that's as easy as ABC.
  ☆58Updated 3 months ago
• joshrule / term-rewriting-rs
  a Rust implementation of first-order term rewriting systems (TRS)
  ☆27Updated 3 years ago
• informalsystems / modelator-py
  Utilities for the TLA+ ecoystem and model-based testing using TLA+.
  ☆29Updated 2 years ago
• ghxiao / nrdatalog2sql
  Converting Non-Recursive Datalog to SQL
  ☆24Updated 8 years ago
• jamii / imp
  Various experiments in relational programming
  ☆271Updated 2 years ago
• jamesbornholt / ocelot
  A synthesis-enabled solver for relational logic
  ☆27Updated 6 years ago
• datalogui / datalog
  Build UI declaratively with Datalog.
  ☆130Updated 2 years ago
• wernsey / Jatalog
  Java Datalog Engine with Semi-Naive Evaluation and Stratified Negation
  ☆77Updated 6 years ago
• frankmcsherry / timely-dataflow
  A modular implementation of timely dataflow in Rust
  ☆115Updated this week
• MaterializeInc / sqlparser
  The Materialize SQL parser
  ☆29Updated 5 years ago
• szabta89 / IncA
  Incremental Program Analysis Framework
  ☆90Updated 3 years ago
• alexwarth / roomdb
  A Datalog-style database that enables programmers to represent facts using natural language
  ☆51Updated 2 years ago
• racket / datalog
  ☆45Updated 3 months ago
• trvedata / crdt-isabelle
  Victor B. F. Gomes, Martin Kleppmann, Dominic P. Mulligan, and Alastair R. Beresford. Verifying Strong Eventual Consistency in Distribute…
  ☆72Updated 2 years ago
• harp-lab / gdlog
  ☆79Updated 3 months ago
• gregr / dbKanren
  Kanren with databases
  ☆43Updated 6 months ago