Alternatives and similar repositories for datalog-crdt

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

• LutrisEng / datom-rs
  An open-source database inspired by Datomic
  ☆31Updated last year
• frankmcsherry / dynamic-datalog
  Engines, queries, and data for dynamic Datalog computation
  ☆127Updated 4 years ago
• pachadb / pachadb
  an edge database
  ☆30Updated last year
• statebox / fsm-oracle
  Finite state machines as graphs
  ☆60Updated 5 years ago
• samuell / awesome-datalog
  Awesome datalog libraries, tools and resources
  ☆63Updated 5 years ago
• datalogui / datalog
  Build UI declaratively with Datalog.
  ☆134Updated 2 years ago
• jaredly / j3
  Another attempt to realize my programming language
  ☆23Updated 7 months 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
  ☆159Updated 6 months ago
• owlbarn / actor
  Owl's Parallel & Distributed Computing Engine
  ☆29Updated 6 years ago
• srikumarks / FD.js
  Finite domain constraint programming library in JS
  ☆62Updated 3 years ago
• fkettelhoit / bottom-up-datalog-js
  A very short and simple implementation of (bottom-up) Datalog in JS
  ☆31Updated 12 years ago
• jaredly / unison.rs
  ☆69Updated 3 years ago
• takeoutweight / bidirectional
  Complete and Easy Bidirectional Typechecking for for Higher-Rank Polymorphism in Clojure
  ☆24Updated 9 years ago
• vilterp / datalog-ts
  a datalog interpreter in typescript
  ☆212Updated 8 months ago
• subsetpark / pantagruel
  A program specification language with a formal syntax and ad-hoc semantics.
  ☆78Updated last year
• geoffreylitt / mini-adapton
  Typescript Implementation of mini-adapton (https://arxiv.org/pdf/1609.05337.pdf)
  ☆24Updated 3 years ago
• id3as / purescript-erl-pinto
  An opinionated OTP framework wrapper
  ☆26Updated 7 months ago
• sqwishy / owoof
  A program for querying and modifying information in a datalog-like format backed by SQLite.
  ☆40Updated 3 years ago
• bordaigorl / stargazer
  A simulator for visualising the evolution of π-calculus terms
  ☆42Updated 3 years ago
• lasp-lang / ishikawa
  Erlang implementation of tagged reliable causal broadcast.
  ☆25Updated 7 years ago
• ramsdell / ocaml-datalog
  This package contains a lightweight deductive database system in OCaml
  ☆41Updated 3 years ago
• janestreet / incr_map
  Helpers for incremental operations on map like data structures.
  ☆26Updated 2 weeks ago
• janestreet / bin_prot
  Binary protocol generator
  ☆81Updated 2 weeks ago
• OvermindDL1 / bucklescript-testing
  ☆47Updated 8 years ago
• frankmcsherry / datatoad
  An interactive Datalog
  ☆49Updated this week
• witheve / eve-experiments
  The many experiments that have led to Eve in its current form
  ☆64Updated 6 years ago
• kaBeech / tensort
  Tunable sorting for responsive robustness and beyond
  ☆18Updated 5 months ago
• racket / datalog
  ☆48Updated 3 weeks ago
• cyrus- / relit
  Hygienic typed literal macros (TLMs) for Reason
  ☆210Updated 6 years ago