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
  ☆59Updated 4 years ago
• janestreet / incr_map
  Helpers for incremental operations on map like data structures.
  ☆26Updated last week
• comnik / functional-differential-programming
  FRP with 3DF and Differential Dataflow.
  ☆26Updated 5 years ago
• pachadb / pachadb
  an edge database
  ☆28Updated 8 months 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
• jaredly / j3
  Another attempt to realize my programming language
  ☆23Updated 3 months ago
• samuell / awesome-datalog
  Awesome datalog libraries, tools and resources
  ☆60Updated 5 years ago
• takeoutweight / bidirectional
  Complete and Easy Bidirectional Typechecking for for Higher-Rank Polymorphism in Clojure
  ☆23Updated 9 years ago
• geoffreylitt / mini-adapton
  Typescript Implementation of mini-adapton (https://arxiv.org/pdf/1609.05337.pdf)
  ☆24Updated 3 years ago
• owlbarn / actor
  Owl's Parallel & Distributed Computing Engine
  ☆30Updated 6 years ago
• choral-lang / choral
  A compiler, testing bed, and standard library for the Choral programming language.
  ☆27Updated 3 weeks ago
• tommikaikkonen / zippa
  A generic zipper library for JavaScript
  ☆29Updated 8 years ago
• cdfa / frugel
  An error-tolerant live programming environment (my Master's thesis)
  ☆18Updated 2 years ago
• sqwishy / owoof
  A program for querying and modifying information in a datalog-like format backed by SQLite.
  ☆40Updated 3 years ago
• ergl / crdt-ml
  CRDTs - Conflict-Free Replicated Data Types for OCaml
  ☆48Updated 8 years ago
• asolove / explore-concurrent-ml
  Exploring Concurrent ML in Reason
  ☆18Updated 8 years ago
• qpdb / mentat
  A persistent, relational store inspired by Datomic and DataScript.
  ☆54Updated 2 years ago
• fplab / ui-for-pl
  User Interfaces for Programming Languages: The Compendium
  ☆27Updated 4 years ago
• cmeiklejohn / distributed-data-structures
  Distributed Data Structures in Coq
  ☆49Updated 11 years ago
• tapeinosyne / elm-microkanren
  μKanren in Elm
  ☆43Updated 8 years ago
• ramsdell / ocaml-datalog
  This package contains a lightweight deductive database system in OCaml
  ☆40Updated 3 years ago
• ocamllabs / ocaml-effects
  *DEPRECATED: See ocaml-multicore/ocaml-multicore* OCaml effects handlers
  ☆27Updated 9 years ago
• racket / datalog
  ☆46Updated 2 months ago
• conal / talk-2018-deep-learning-rebooted
  "A Functional Reboot for Deep Learning", an invited talk for Summer BOB 2019 in Berlin
  ☆52Updated 5 years ago
• kaBeech / tensort
  Tunable sorting for responsive robustness and beyond
  ☆17Updated last month
• jaredly / jerd
  ☆37Updated 3 years ago
• gregr / dbKanren
  Kanren with databases
  ☆43Updated 9 months ago
• janestreet / bin_prot
  Binary protocol generator
  ☆78Updated last week
• lasp-lang / ishikawa
  Erlang implementation of tagged reliable causal broadcast.
  ☆25Updated 7 years ago