Alternatives and similar repositories for curryon2018

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

• Horusiath / crdt-examples
  An example implementations of various CRDTs
  ☆99Updated last year
• trvedata / crdt-isabelle
  Victor B. F. Gomes, Martin Kleppmann, Dominic P. Mulligan, and Alastair R. Beresford. Verifying Strong Eventual Consistency in Distribute…
  ☆73Updated 2 years ago
• madgen / datalog-crdt
  Some CRDT implementations in Datalog
  ☆16Updated 6 years ago
• AntidoteDB / crdt-visualizer
  Visualized CRDT executions in a web page to explain their semantics
  ☆17Updated 6 years ago
• ricardobcl / Interval-Tree-Clocks
  A Logical Clock for Static and Dynamic Systems
  ☆160Updated 7 years ago
• AntidoteDB / antidote_crdt
  CRDT implementations to use with Antidote
  ☆36Updated 3 years ago
• jemc / pony-crdt
  Delta-State Convergent Replicated Data Types (ẟ-CRDTs) for the Pony language.
  ☆38Updated 5 years ago
• tommikaikkonen / zippa
  A generic zipper library for JavaScript
  ☆29Updated 8 years ago
• vitorenesduarte / ldb
  Replication of CRDTs
  ☆38Updated 4 years ago
• trvedata / trvesync
  Sandbox for playing around with CRDTs
  ☆30Updated 7 years ago
• davidrusu / bft-crdts
  Byzantine Fault Tolerant CRDT's and other Eventually Consistent Algorithms
  ☆62Updated 4 years ago
• dglittle / shelf
  ☆53Updated 6 months ago
• arberiii / Bloom-clock
  ☆13Updated 4 years ago
• mryndzionek / tlaplus_specs
  Different TLA+ specifications, mostly for learning purposes
  ☆32Updated last year
• ponylang / pony-for-x
  Source of the "Pony for X" intro to Pony series
  ☆14Updated 8 years ago
• ljwagerfield / crdt
  CRDT Tutorial for Beginners (a digestible explanation with less math!)
  ☆348Updated 2 years ago
• fpaxos / fpaxos-tlaplus
  TLA+ specification of Flexible Paxos
  ☆40Updated last year
• jtfmumm / pony-functional-data
  Functional data structures for Pony
  ☆44Updated 8 years ago
• solidsnack / pg-sql-variants
  Variants types for PostgreSQL
  ☆31Updated 5 years ago
• WebAssembly / tail-call
  Proposal to add tail calls to WebAssembly
  ☆114Updated 3 months ago
• scality / elmerfs
  ☆101Updated 3 years ago
• harc / constraint-based-spreadsheet
  ☆46Updated 2 years ago
• jemc / jylis
  A distributed in-memory database for Conflict-free Replicated Data Types (CRDTs).
  ☆76Updated 3 years ago
• racket / datalog
  ☆48Updated last month
• ekmett / propagators
  The Art of the Propagator. See also:
  ☆174Updated last year
• ricardobcl / Dotted-Version-Vectors
  Logical Clocks for Eventually Consistent Systems
  ☆361Updated 7 years ago
• avsm / melange
  Fast, statically type-safe OCaml network applications (e.g. DNS/SSH)
  ☆56Updated 9 years ago
• TODAQopen / toda
  TODA files: an open source cryptographic asset structure
  ☆16Updated 9 months ago
• visualzhou / mongo-repl-tla
  TLA+ Spec of a simplified part of MongoDB replication system
  ☆47Updated 5 years ago
• peer-base / js-delta-crdts
  Delta State-based CRDTs in Javascript
  ☆197Updated 5 years ago