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…
  ☆74Updated 2 years ago
• comnik / functional-differential-programming
  FRP with 3DF and Differential Dataflow.
  ☆26Updated 6 years ago
• ipfs-inactive / research-CRDT
  [ARCHIVED] Repo to organize our ideas about research implementations of CRDTs.
  ☆483Updated 5 years ago
• trvedata / trvesync
  Sandbox for playing around with CRDTs
  ☆30Updated 8 years ago
• madgen / datalog-crdt
  Some CRDT implementations in Datalog
  ☆16Updated 7 years ago
• ljwagerfield / crdt
  CRDT Tutorial for Beginners (a digestible explanation with less math!)
  ☆355Updated 3 years ago
• ricardobcl / Dotted-Version-Vectors
  Logical Clocks for Eventually Consistent Systems
  ☆361Updated 7 years ago
• CBaquero / delta-enabled-crdts
  Reference implementations of state-based CRDTs that offer deltas for all mutations.
  ☆327Updated last year
• davidrusu / bft-crdts
  Byzantine Fault Tolerant CRDT's and other Eventually Consistent Algorithms
  ☆62Updated 4 years ago
• frankmcsherry / dynamic-datalog
  Engines, queries, and data for dynamic Datalog computation
  ☆127Updated 4 years ago
• datalogui / datalog
  Build UI declaratively with Datalog.
  ☆136Updated 2 years ago
• josephg / reference-crdts
  Simple, tiny spec-compliant reference implementations of Yjs and Automerge's list types.
  ☆134Updated last year
• tonyg / syndicate
  syn·di·cate: a language for interactive programs
  ☆159Updated 6 months ago
• witheve / eve-native
  ☆189Updated 5 years ago
• hydro-project / katara
  Synthesize CRDTs from classic data types with verified lifting!
  ☆148Updated last year
• jemc / jylis
  A distributed in-memory database for Conflict-free Replicated Data Types (CRDTs).
  ☆77Updated 4 years ago
• organix / tartjs
  Tiny Actor Run-Time in JavaScript
  ☆73Updated 8 years ago
• janestreet / incr_map
  Helpers for incremental operations on map like data structures.
  ☆26Updated 2 weeks ago
• rntz / datafun
  Research on integrating datalog & lambda calculus via monotonicity types
  ☆401Updated 3 years ago
• josephg / statecraft
  Manage state with finesse
  ☆187Updated 2 years ago
• witheve / eve-experiments
  The many experiments that have led to Eve in its current form
  ☆64Updated 6 years ago
• takeoutweight / bidirectional
  Complete and Easy Bidirectional Typechecking for for Higher-Rank Polymorphism in Clojure
  ☆24Updated 9 years ago
• Horusiath / crdt-examples
  An example implementations of various CRDTs
  ☆101Updated last year
• harc / nl-datalog
  Natural Language Datalog
  ☆134Updated 7 years ago
• afonsonf / tlaplus-graph-explorer
  A static web application to explore and animate a TLA+ state graph.
  ☆198Updated last year
• dglittle / shelf
  ☆53Updated 8 months ago
• samuell / awesome-datalog
  Awesome datalog libraries, tools and resources
  ☆63Updated 5 years ago
• hypirion / c-rrb
  RRB-tree implemented as a library in C.
  ☆171Updated 10 years ago
• lorin / epidemic-register
  Beating the CAP theorem with the epidemic register
  ☆17Updated 5 years ago
• ricardobcl / Interval-Tree-Clocks
  A Logical Clock for Static and Dynamic Systems
  ☆160Updated 7 years ago