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.
  ☆319Updated 5 years ago
• frankmcsherry / differential-dataflow
  An implementation of differential dataflow using timely dataflow on Rust.
  ☆166Updated last week
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆66Updated last year
• frankmcsherry / datafrog
  A lightweight Datalog engine in Rust
  ☆57Updated 6 years ago
• TimelyDataflow / diagnostics
  Diagnostic tools for timely dataflow computations
  ☆44Updated 2 years ago
• HarvardPL / formulog
  Datalog with support for SMT queries and first-order functional programming
  ☆156Updated 5 months ago
• frankmcsherry / dataflow-join
  An implementation of Ngo et al's GenericJoin in timely dataflow.
  ☆87Updated 6 years ago
• vilterp / datalog-ts
  a datalog interpreter in typescript
  ☆210Updated 3 months ago
• szabta89 / IncA
  Incremental Program Analysis Framework
  ☆90Updated 3 years ago
• eqlog / eqlog
  Datalog with equality for rust
  ☆68Updated 5 months ago
• samuell / awesome-datalog
  Awesome datalog libraries, tools and resources
  ☆60Updated 5 years ago
• c-cube / datalog
  An in-memory datalog implementation for OCaml.
  ☆268Updated 6 months ago
• wernsey / Jatalog
  Java Datalog Engine with Semi-Naive Evaluation and Stratified Negation
  ☆79Updated 6 years ago
• will62794 / tlaplus_animation
  A TLA+ module for animating TLC traces.
  ☆45Updated 4 months ago
• rntz / datafun
  Research on integrating datalog & lambda calculus via monotonicity types
  ☆397Updated 2 years ago
• Kixiron / ddshow
  Visualization for Timely Dataflow and Differential Dataflow programs
  ☆67Updated 3 years ago
• hwayne / tlacli
  A script for running TLA+/TLC from the command line
  ☆80Updated 3 years ago
• HarvardPL / AbcDatalog
  Datalog that's as easy as ABC.
  ☆58Updated 5 months ago
• jamii / imp
  Various experiments in relational programming
  ☆272Updated 3 years ago
• will62794 / spectacle
  Interactive, web-based tool for exploring, visualizing, and sharing formal specifications in TLA+.
  ☆114Updated last week
• japgolly / tla2json
  Convert TLA+ output (and values) into JSON
  ☆26Updated 4 years ago
• kelvich / tlaplus_jupyter
  Jupyter kernel for TLA⁺
  ☆119Updated 2 years ago
• harp-lab / gdlog
  ☆81Updated 5 months ago
• harp-lab / slog-lang1
  Slog 1.0
  ☆41Updated 10 months ago
• frankmcsherry / timely-dataflow
  A modular implementation of timely dataflow in Rust
  ☆115Updated 3 weeks ago
• joshrule / term-rewriting-rs
  a Rust implementation of first-order term rewriting systems (TRS)
  ☆27Updated 3 years ago
• ligurio / elle-cli
  The command-line frontend to transactional consistency checkers for black-box databases
  ☆28Updated last month
• jamesbornholt / ocelot
  A synthesis-enabled solver for relational logic
  ☆27Updated 6 years ago
• lord / anchors
  self adjusting computations in rust
  ☆136Updated 3 years ago
• cwi-swat / aterms
  The ATerm library is an extremely efficient library for maximally shared terms with a fast serialized format and a garbage collector (in …
  ☆23Updated 11 years ago