jtfmumm / curryon2018

Related projects: ⓘ

• josephg / reference-crdts
  Simple, tiny spec-compliant reference implementations of Yjs and Automerge's list types.
  ☆124Updated 9 months ago
• trvedata / crdt-isabelle
  Victor B. F. Gomes, Martin Kleppmann, Dominic P. Mulligan, and Alastair R. Beresford. Verifying Strong Eventual Consistency in Distribute…
  ☆71Updated last year
• dglittle / shelf
  ☆53Updated 2 months ago
• datalogui / datalog
  Build UI declaratively with Datalog.
  ☆121Updated last year
• AntidoteDB / crdt-visualizer
  Visualized CRDT executions in a web page to explain their semantics
  ☆16Updated 5 years ago
• Chat-Wane / LSEQTree
  A data structure for distributed arrays using the LSeq allocation strategy
  ☆56Updated 6 years ago
• gritzko / ron-cxx
  RON2.1 C++ implementation
  ☆47Updated 5 years ago
• nkohari / kseq
  A continuous sequence CRDT based on Logoot/LSEQ
  ☆57Updated 8 years ago
• comnik / functional-differential-programming
  FRP with 3DF and Differential Dataflow.
  ☆25Updated 5 years ago
• ricardobcl / Dotted-Version-Vectors
  Logical Clocks for Eventually Consistent Systems
  ☆350Updated 6 years ago
• jemc / pony-crdt
  Delta-State Convergent Replicated Data Types (ẟ-CRDTs) for the Pony language.
  ☆37Updated 5 years ago
• lord / anchors
  self adjusting computations in rust
  ☆130Updated 3 years ago
• ricardobcl / Interval-Tree-Clocks
  A Logical Clock for Static and Dynamic Systems
  ☆159Updated 6 years ago
• qpdb / mentat
  A persistent, relational store inspired by Datomic and DataScript.
  ☆52Updated last year
• trvedata / trvesync
  Sandbox for playing around with CRDTs
  ☆30Updated 7 years ago
• vilterp / datalog-ts
  a datalog interpreter in typescript
  ☆199Updated 2 months ago
• davidrusu / bft-crdts
  Byzantine Fault Tolerant CRDT's and other Eventually Consistent Algorithms
  ☆59Updated 3 years ago
• organix / tartjs
  Tiny Actor Run-Time in JavaScript
  ☆72Updated 7 years ago
• solidsnack / pg-sql-variants
  Variants types for PostgreSQL
  ☆30Updated 4 years ago
• geoffreylitt / mini-adapton
  Typescript Implementation of mini-adapton (https://arxiv.org/pdf/1609.05337.pdf)
  ☆24Updated 2 years ago
• madgen / datalog-crdt
  Some CRDT implementations in Datalog
  ☆12Updated 6 years ago
• ljwagerfield / crdt
  CRDT Tutorial for Beginners (a digestible explanation with less math!)
  ☆328Updated 2 years ago
• vitorenesduarte / ldb
  Replication of CRDTs
  ☆38Updated 3 years ago
• dkellner / chronofold
  Chronofold is a conflict-free replicated data structure (a.k.a. CRDT) for versioned text.
  ☆90Updated 2 years ago
• mryndzionek / tlaplus_specs
  Different TLA+ specifications, mostly for learning purposes
  ☆31Updated 4 months ago
• peer-base / js-delta-crdts
  Delta State-based CRDTs in Javascript
  ☆193Updated 4 years ago
• scality / elmerfs
  ☆94Updated 2 years ago
• tonyg / syndicate
  syn·di·cate: a language for interactive programs
  ☆152Updated 2 months ago
• braid-org / braid-spec
  Working area for Braid extensions to HTTP
  ☆233Updated last month
• wjlewis / ramo
  miniKanren for JavaScript
  ☆22Updated last year