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
  ☆96Updated 11 months ago
• trvedata / crdt-isabelle
  Victor B. F. Gomes, Martin Kleppmann, Dominic P. Mulligan, and Alastair R. Beresford. Verifying Strong Eventual Consistency in Distribute…
  ☆72Updated 2 years ago
• madgen / datalog-crdt
  Some CRDT implementations in Datalog
  ☆14Updated 6 years ago
• josephg / reference-crdts
  Simple, tiny spec-compliant reference implementations of Yjs and Automerge's list types.
  ☆132Updated last year
• PsychoLlama / graph-crdt
  Commutative graphs made for real-time, offline-tolerant replication
  ☆53Updated 5 years ago
• dglittle / shelf
  ☆53Updated 3 weeks ago
• ricardobcl / Interval-Tree-Clocks
  A Logical Clock for Static and Dynamic Systems
  ☆159Updated 6 years ago
• jemc / pony-crdt
  Delta-State Convergent Replicated Data Types (ẟ-CRDTs) for the Pony language.
  ☆38Updated 5 years ago
• AntidoteDB / antidote_crdt
  CRDT implementations to use with Antidote
  ☆35Updated 2 years ago
• peer-base / js-delta-crdts
  Delta State-based CRDTs in Javascript
  ☆197Updated 5 years ago
• AntidoteDB / crdt-visualizer
  Visualized CRDT executions in a web page to explain their semantics
  ☆16Updated 6 years ago
• albertlinde / Legion
  The Legion code base.
  ☆26Updated 7 years ago
• datalogui / datalog
  Build UI declaratively with Datalog.
  ☆129Updated 2 years ago
• gritzko / ron-cxx
  RON2.1 C++ implementation
  ☆47Updated 5 years ago
• ricardobcl / Dotted-Version-Vectors
  Logical Clocks for Eventually Consistent Systems
  ☆353Updated 6 years ago
• hwayne / tla-snippets
  A collection of useful TLA+ operators
  ☆21Updated 6 years ago
• Chat-Wane / CRATE
  CRATE is a real-time distributed CollaboRATive Editor
  ☆99Updated 6 years ago
• mikeal / prolly-trees
  Hash consistent search trees.
  ☆91Updated last year
• vitorenesduarte / ldb
  Replication of CRDTs
  ☆38Updated 3 years ago
• mryndzionek / tlaplus_specs
  Different TLA+ specifications, mostly for learning purposes
  ☆31Updated 8 months ago
• ssbc / bipf
  Binary json codec optimized for in-place access
  ☆48Updated 2 years ago
• frankmcsherry / dynamic-datalog
  Engines, queries, and data for dynamic Datalog computation
  ☆122Updated 3 years ago
• lasp-lang / ishikawa
  Erlang implementation of tagged reliable causal broadcast.
  ☆25Updated 6 years ago
• ergl / crdt-ml
  CRDTs - Conflict-Free Replicated Data Types for OCaml
  ☆48Updated 8 years ago
• jemc / jylis
  A distributed in-memory database for Conflict-free Replicated Data Types (CRDTs).
  ☆77Updated 3 years ago
• ljwagerfield / crdt
  CRDT Tutorial for Beginners (a digestible explanation with less math!)
  ☆344Updated 2 years ago
• trvedata / trvesync
  Sandbox for playing around with CRDTs
  ☆30Updated 7 years ago
• fpaxos / fpaxos-tlaplus
  TLA+ specification of Flexible Paxos
  ☆38Updated last year
• comnik / functional-differential-programming
  FRP with 3DF and Differential Dataflow.
  ☆26Updated 5 years ago
• janestreet / incr_map
  Helpers for incremental operations on map like data structures.
  ☆26Updated last month