Alternatives and similar repositories for datalog-crdt:

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

• jaredly / j3
  Another attempt to realize my programming language
  ☆23Updated last month
• comnik / functional-differential-programming
  FRP with 3DF and Differential Dataflow.
  ☆26Updated 5 years ago
• LutrisEng / datom-rs
  An open-source database inspired by Datomic
  ☆30Updated last year
• mbrock / HBEAM
  Prototypical Haskell virtual machine for Erlang's BEAM bytecode
  ☆27Updated 13 years ago
• fkettelhoit / bottom-up-datalog-js
  A very short and simple implementation of (bottom-up) Datalog in JS
  ☆30Updated 11 years ago
• geoffreylitt / mini-adapton
  Typescript Implementation of mini-adapton (https://arxiv.org/pdf/1609.05337.pdf)
  ☆25Updated 3 years ago
• frankmcsherry / dynamic-datalog
  Engines, queries, and data for dynamic Datalog computation
  ☆122Updated 3 years ago
• takeoutweight / bidirectional
  Complete and Easy Bidirectional Typechecking for for Higher-Rank Polymorphism in Clojure
  ☆23Updated 9 years ago
• pachadb / pachadb
  an edge database
  ☆28Updated 7 months ago
• owlbarn / actor
  Owl's Parallel & Distributed Computing Engine
  ☆30Updated 6 years ago
• jaredly / unison.rs
  ☆68Updated 2 years ago
• witheve / eve-experiments
  The many experiments that have led to Eve in its current form
  ☆65Updated 6 years ago
• kaBeech / tensort
  Tunable sorting for responsive robustness and beyond
  ☆17Updated 3 weeks ago
• statebox / fsm-oracle
  Finite state machines as graphs
  ☆59Updated 4 years ago
• fplab / ui-for-pl
  User Interfaces for Programming Languages: The Compendium
  ☆27Updated 4 years ago
• tapeinosyne / elm-microkanren
  μKanren in Elm
  ☆43Updated 8 years ago
• janestreet / incr_map
  Helpers for incremental operations on map like data structures.
  ☆26Updated 3 months ago
• jmitchell / idris-elixir
  Idris backend targeting Elixir (Work in progress)
  ☆18Updated 8 years ago
• samuell / awesome-datalog
  Awesome datalog libraries, tools and resources
  ☆60Updated 5 years ago
• sqwishy / owoof
  A program for querying and modifying information in a datalog-like format backed by SQLite.
  ☆40Updated 3 years ago
• racket / datalog
  ☆45Updated 2 weeks ago
• ergl / crdt-ml
  CRDTs - Conflict-Free Replicated Data Types for OCaml
  ☆48Updated 8 years ago
• gregr / dbKanren
  Kanren with databases
  ☆43Updated 7 months ago
• hazelgrove / HZ
  Simple reference implementation of Hazelnut using js_of_ocaml and OCaml React. (frozen -- ongoing development in the hazel repo)
  ☆29Updated 7 years ago
• Soonad / Base.fm
  Standard library for the Formality language
  ☆18Updated 4 years ago
• hpi-swa / Gramada
  Gramada is an interactive development environment for programming languages defined in Ohm. It is based on Vivide and implemented in Sque…
  ☆16Updated 5 years ago
• srikumarks / FD.js
  Finite domain constraint programming library in JS
  ☆62Updated 3 years ago
• unisonweb / codebase-ui
  Unison Codebase UI
  ☆46Updated 2 years ago
• cdfa / frugel
  An error-tolerant live programming environment (my Master's thesis)
  ☆18Updated 2 years ago
• unisonweb / elm-browser
  A Unison Github repo explorer in Elm
  ☆34Updated 3 years ago