Alternatives and similar repositories for curryon2018

Users that are interested in curryon2018 are comparing it to the libraries listed below

• trvedata / crdt-isabelle
  Victor B. F. Gomes, Martin Kleppmann, Dominic P. Mulligan, and Alastair R. Beresford. Verifying Strong Eventual Consistency in Distribute…
  ☆75Updated 3 years ago
• tonyg / syndicate
  syn·di·cate: a language for interactive programs
  ☆158Updated last week
• ljwagerfield / crdt
  CRDT Tutorial for Beginners (a digestible explanation with less math!)
  ☆361Updated 3 years ago
• ricardobcl / Interval-Tree-Clocks
  A Logical Clock for Static and Dynamic Systems
  ☆160Updated 7 years ago
• comnik / functional-differential-programming
  FRP with 3DF and Differential Dataflow.
  ☆27Updated 6 years ago
• madgen / datalog-crdt
  Some CRDT implementations in Datalog
  ☆18Updated 7 years ago
• vilterp / datalog-ts
  a datalog interpreter in typescript
  ☆213Updated 11 months ago
• frankmcsherry / dynamic-datalog
  Engines, queries, and data for dynamic Datalog computation
  ☆132Updated 4 years ago
• CBaquero / delta-enabled-crdts
  Reference implementations of state-based CRDTs that offer deltas for all mutations.
  ☆336Updated 2 years ago
• ipfs-inactive / research-CRDT
  [ARCHIVED] Repo to organize our ideas about research implementations of CRDTs.
  ☆484Updated 5 years ago
• gritzko / ron-cxx
  RON2.1 C++ implementation
  ☆46Updated 6 years ago
• mpmilano / MixT
  Prototype Mixed-consistency transaction implementation
  ☆64Updated 7 years ago
• datalogui / datalog
  Build UI declaratively with Datalog.
  ☆141Updated 2 years ago
• josephg / reference-crdts
  Simple, tiny spec-compliant reference implementations of Yjs and Automerge's list types.
  ☆138Updated 2 years ago
• trvedata / trvesync
  Sandbox for playing around with CRDTs
  ☆31Updated 8 years ago
• gritzko / ron
  (dated, see the site) Replicated Object Notation, a distributed live data format, golang/ragel lib
  ☆364Updated last year
• ricardobcl / Dotted-Version-Vectors
  Logical Clocks for Eventually Consistent Systems
  ☆365Updated 7 years ago
• witheve / eve-native
  ☆189Updated 6 years ago
• Horusiath / crdt-examples
  An example implementations of various CRDTs
  ☆102Updated last year
• alanb2718 / wallingford
  An experimental DSL for handling state and updates, along with constraints, in Rosette.
  ☆50Updated 6 years ago
• tommikaikkonen / zippa
  A generic zipper library for JavaScript
  ☆29Updated 9 years ago
• dglittle / shelf
  ☆53Updated last year
• dmbarbour / Sirea
  Simply Reactive! Declarative orchestration in Haskell using RDP
  ☆274Updated 12 years ago
• witheve / rfcs
  Request for Comments on changes to Eve
  ☆28Updated 9 years ago
• samuell / awesome-datalog
  Awesome datalog libraries, tools and resources
  ☆64Updated 5 years ago
• bodil / microkanrens
  Implementations of µKanren in assorted languages
  ☆64Updated 9 years ago
• rntz / datafun
  Research on integrating datalog & lambda calculus via monotonicity types
  ☆414Updated 3 years ago
• harc / constraint-based-spreadsheet
  ☆45Updated 2 years ago
• bloom-lang / c4
  Low-latency Overlog runtime
  ☆18Updated 10 years ago
• vitorenesduarte / ldb
  Replication of CRDTs
  ☆38Updated 4 years ago