jtfmumm / curryon2018

Related projects ⓘ

Alternatives and complementary repositories for curryon2018

• trvedata / crdt-isabelle
  Victor B. F. Gomes, Martin Kleppmann, Dominic P. Mulligan, and Alastair R. Beresford. Verifying Strong Eventual Consistency in Distribute…
  ☆72Updated last year
• gritzko / ron-cxx
  RON2.1 C++ implementation
  ☆47Updated 5 years ago
• davidrusu / bft-crdts
  Byzantine Fault Tolerant CRDT's and other Eventually Consistent Algorithms
  ☆59Updated 3 years ago
• solidsnack / pg-sql-variants
  Variants types for PostgreSQL
  ☆30Updated 4 years ago
• ljwagerfield / crdt
  CRDT Tutorial for Beginners (a digestible explanation with less math!)
  ☆333Updated 2 years ago
• ipfs-inactive / research-CRDT
  [ARCHIVED] Repo to organize our ideas about research implementations of CRDTs.
  ☆484Updated 4 years ago
• comnik / functional-differential-programming
  FRP with 3DF and Differential Dataflow.
  ☆25Updated 5 years ago
• dglittle / shelf
  ☆53Updated 4 months ago
• josephg / editing-traces
  Real world text editing traces for benchmarking CRDT and Rope data structures
  ☆42Updated 11 months ago
• PsychoLlama / graph-crdt
  Commutative graphs made for real-time, offline-tolerant replication
  ☆53Updated 5 years ago
• josephg / reference-crdts
  Simple, tiny spec-compliant reference implementations of Yjs and Automerge's list types.
  ☆129Updated 11 months ago
• trvedata / trvesync
  Sandbox for playing around with CRDTs
  ☆30Updated 7 years ago
• Chat-Wane / LSEQTree
  A data structure for distributed arrays using the LSeq allocation strategy
  ☆56Updated 6 years ago
• vitorenesduarte / ldb
  Replication of CRDTs
  ☆38Updated 3 years ago
• ricardobcl / Dotted-Version-Vectors
  Logical Clocks for Eventually Consistent Systems
  ☆351Updated 6 years ago
• jemc / pony-crdt
  Delta-State Convergent Replicated Data Types (ẟ-CRDTs) for the Pony language.
  ☆37Updated 5 years ago
• braid-org / braid-spec
  Working area for Braid extensions to HTTP
  ☆236Updated last month
• ipfs-shipyard / peer-crdt
  Peer CRDT
  ☆60Updated 5 years ago
• peer-base / js-delta-crdts
  Delta State-based CRDTs in Javascript
  ☆197Updated 4 years ago
• fpaxos / fpaxos-tlaplus
  TLA+ specification of Flexible Paxos
  ☆38Updated last year
• ricardobcl / Interval-Tree-Clocks
  A Logical Clock for Static and Dynamic Systems
  ☆159Updated 6 years ago
• tonyg / syndicate
  syn·di·cate: a language for interactive programs
  ☆152Updated 4 months ago
• madgen / datalog-crdt
  Some CRDT implementations in Datalog
  ☆14Updated 6 years ago
• organix / tartjs
  Tiny Actor Run-Time in JavaScript
  ☆72Updated 7 years ago
• orbitdb-archive / crdts
  A library of Conflict-Free Replicated Data Types for JavaScript
  ☆215Updated last year
• datalogui / datalog
  Build UI declaratively with Datalog.
  ☆125Updated last year
• ottypes / text-unicode
  Unicode text OT implementation
  ☆73Updated 2 years ago
• scality / elmerfs
  ☆96Updated 2 years ago
• Gozala / actor
  Library for managing concurrent effects using generators.
  ☆31Updated last year
• josephg / statecraft
  Manage state with finesse
  ☆186Updated last year