Alternatives and similar repositories for datalog-crdt

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

• statebox / fsm-oracle
  Finite state machines as graphs
  ☆60Updated 5 years ago
• frankmcsherry / dynamic-datalog
  Engines, queries, and data for dynamic Datalog computation
  ☆132Updated 4 years ago
• samuell / awesome-datalog
  Awesome datalog libraries, tools and resources
  ☆64Updated 5 years ago
• qpdb / mentat
  A persistent, relational store inspired by Datomic and DataScript.
  ☆55Updated 2 years ago
• tonyg / syndicate
  syn·di·cate: a language for interactive programs
  ☆158Updated last week
• pachadb / pachadb
  an edge database
  ☆30Updated last year
• jaredly / unison.rs
  ☆71Updated 3 years ago
• LutrisEng / datom-rs
  An open-source database inspired by Datomic
  ☆32Updated 2 years ago
• subsetpark / pantagruel
  A program specification language with a formal syntax and ad-hoc semantics.
  ☆83Updated 2 months ago
• vilterp / datalog-ts
  a datalog interpreter in typescript
  ☆213Updated 11 months ago
• keenbug / ReSheet
  A hackable notes-spreadsheet-hybrid for programmers
  ☆16Updated 3 weeks ago
• datalogui / datalog
  Build UI declaratively with Datalog.
  ☆140Updated 2 years ago
• cdfa / frugel
  An error-tolerant live programming environment (my Master's thesis)
  ☆20Updated 3 years ago
• geoffreylitt / mini-adapton
  Typescript Implementation of mini-adapton (https://arxiv.org/pdf/1609.05337.pdf)
  ☆24Updated 3 years ago
• jaredly / j3
  Another attempt to realize my programming language
  ☆23Updated 10 months ago
• argumentcomputer / introit
  The Yatima Standard Library
  ☆20Updated 2 years ago
• bordaigorl / stargazer
  A simulator for visualising the evolution of π-calculus terms
  ☆42Updated 3 years ago
• witheve / eve-experiments
  The many experiments that have led to Eve in its current form
  ☆64Updated 6 years ago
• tapeinosyne / elm-microkanren
  μKanren in Elm
  ☆43Updated 8 years ago
• unisonweb / codebase-ui
  Unison Codebase UI
  ☆46Updated 3 years ago
• frankmcsherry / datatoad
  An interactive Datalog
  ☆62Updated last week
• gregr / dbKanren
  Kanren with databases
  ☆44Updated last year
• fplab / ui-for-pl
  User Interfaces for Programming Languages: The Compendium
  ☆28Updated 4 years ago
• hydro-project / katara
  Synthesize CRDTs from classic data types with verified lifting!
  ☆150Updated last year
• srikumarks / FD.js
  Finite domain constraint programming library in JS
  ☆62Updated 3 years ago
• alloy-js / sterling
  Alloy with browser-based visualizations
  ☆29Updated 4 years ago
• takeoutweight / bidirectional
  Complete and Easy Bidirectional Typechecking for for Higher-Rank Polymorphism in Clojure
  ☆24Updated 10 years ago
• jaredly / jerd
  ☆37Updated 4 years ago
• sqwishy / owoof
  A program for querying and modifying information in a datalog-like format backed by SQLite.
  ☆40Updated 3 years ago
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆66Updated 2 years ago