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.
  ☆323Updated 6 years ago
• frankmcsherry / differential-dataflow
  An implementation of differential dataflow using timely dataflow on Rust.
  ☆176Updated this week
• frankmcsherry / datafrog
  A lightweight Datalog engine in Rust
  ☆57Updated 8 months ago
• jamii / imp
  Various experiments in relational programming
  ☆273Updated 3 years ago
• samuell / awesome-datalog
  Awesome datalog libraries, tools and resources
  ☆64Updated 6 years ago
• vilterp / datalog-ts
  a datalog interpreter in typescript
  ☆214Updated last year
• madgen / datalog-crdt
  Some CRDT implementations in Datalog
  ☆18Updated 7 years ago
• frankmcsherry / dataflow-join
  An implementation of Ngo et al's GenericJoin in timely dataflow.
  ☆91Updated 6 years ago
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆66Updated 2 years ago
• frankmcsherry / datatoad
  An interactive Datalog
  ☆65Updated last week
• kelvich / tlaplus_jupyter
  Jupyter kernel for TLA⁺
  ☆121Updated 3 years ago
• c-cube / datalog
  An in-memory datalog implementation for OCaml.
  ☆276Updated last year
• gregr / dbKanren
  Kanren with databases
  ☆44Updated last year
• TimelyDataflow / diagnostics
  Diagnostic tools for timely dataflow computations
  ☆50Updated 3 years ago
• HarvardPL / formulog
  Datalog with support for SMT queries and first-order functional programming
  ☆165Updated last week
• jamesbornholt / ocelot
  A synthesis-enabled solver for relational logic
  ☆29Updated 7 years ago
• rntz / datafun
  Research on integrating datalog & lambda calculus via monotonicity types
  ☆416Updated 3 years ago
• dangtv / BIRDS
  Bidirectional transformation for Relational view update Datalog-based Strategies
  ☆22Updated 2 years ago
• ghxiao / nrdatalog2sql
  Converting Non-Recursive Datalog to SQL
  ☆24Updated 9 years ago
• HarvardPL / AbcDatalog
  Datalog that's as easy as ABC.
  ☆67Updated 5 months ago
• hwayne / tlacli
  A script for running TLA+/TLC from the command line
  ☆81Updated 4 years ago
• utaal / timely-viz
  Tools to visualise and debug a timely-dataflow program
  ☆28Updated 6 years ago
• datalogui / datalog
  Build UI declaratively with Datalog.
  ☆141Updated 3 years ago
• AlloyTools / models
  A public repository to host Alloy models. This repository holds public models to be used as entertainment, examples, tutorials, utilitie…
  ☆138Updated 7 months ago
• tonyg / syndicate
  syn·di·cate: a language for interactive programs
  ☆159Updated last month
• alanb2718 / wallingford
  An experimental DSL for handling state and updates, along with constraints, in Rosette.
  ☆50Updated 6 years ago
• MaterializeInc / sqlparser
  The Materialize SQL parser
  ☆30Updated 6 years ago
• trvedata / crdt-isabelle
  Victor B. F. Gomes, Martin Kleppmann, Dominic P. Mulligan, and Alastair R. Beresford. Verifying Strong Eventual Consistency in Distribute…
  ☆75Updated 3 years ago
• Adapton / fungi-lang.rust
  Fungi: Typed incremental computation with names
  ☆71Updated 6 years ago
• TiarkRompf / lancet
  surgical precision JIT compilers
  ☆123Updated 8 years ago