trvedata / opsets

Related projects ⓘ

Alternatives and complementary repositories for opsets

• ricardobcl / DottedDB
  A Distributed Key-Value Store with "Server Wide Clocks"
  ☆85Updated 7 years ago
• SyncFree / SwiftCloud
  ☆27Updated 8 years ago
• AntidoteDB / antidote_crdt
  CRDT implementations to use with Antidote
  ☆35Updated 2 years ago
• 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
• rescrv / Replicant
  A system for maintaining replicated state machines
  ☆115Updated 7 years ago
• trvedata / trvedb
  ☆25Updated 8 years ago
• Randommood / RICON2014
  This repo contains the reference materials to my RICON 2014 talk
  ☆33Updated 7 years ago
• dhutchis / LaraDB
  A platform for unified linear and relational algebra analytics, built on the Accumulo NoSQL database
  ☆11Updated 2 years ago
• trex-paxos / trex
  Embeddable multi-Paxos For The JVM
  ☆74Updated 7 months ago
• palvaro / molly
  An implementation of LDFI
  ☆126Updated 6 years ago
• ponylang / reactive_streams
  Pony implementation of http://www.reactive-streams.org/
  ☆40Updated 3 weeks ago
• vitorenesduarte / ldb
  Replication of CRDTs
  ☆38Updated 3 years ago
• sinabz / itc4j
  An Implementation of Interval Tree Clock
  ☆59Updated 4 years ago
• cmeiklejohn / partisan-usenix-atc-2019
  Experimental evaluation for the Partisan paper at USENIX ATC 2019.
  ☆22Updated 5 years ago
• slfritchie / humming-consensus
  For research related to Humming Consensus: errata & corrections, source code for future work, etc.
  ☆10Updated 8 years ago
• jemc / pony-crdt
  Delta-State Convergent Replicated Data Types (ẟ-CRDTs) for the Pony language.
  ☆37Updated 5 years ago
• norswap / triemap
  Compressed Hash-Array Mapped Prefix-tree (CHAMP) Implementation
  ☆58Updated 7 years ago
• ricardobcl / Interval-Tree-Clocks
  A Logical Clock for Static and Dynamic Systems
  ☆159Updated 6 years ago
• machinomy / crdt
  Collection of CRDT data structures
  ☆17Updated 8 years ago
• ot / semi_index
  Implementation of the JSON semi-index described in the paper "Semi-Indexing Semi-Structured Data in Tiny Space"
  ☆57Updated 11 years ago
• bholt / ipa
  Safely trading off consistency for performance.
  ☆12Updated 4 years ago
• ponylang / ponycheck
  Property Based Testing for Ponylang 🐴 ✔️
  ☆59Updated 2 years ago
• vitorenesduarte / exp
  Running CRDT experiments on top of https://github.com/vitorenesduarte/ldb
  ☆15Updated 3 years ago
• wlloyd / eiger
  A research fork of cassandra that provides causal+ consistency, read-only transaction, and write-only transaction across all the servers …
  ☆77Updated 7 years ago
• cmeiklejohn / ensemble
  Ensemble is a prototype of a distributed, convergent, set-based programming language inspired by APL.
  ☆13Updated 8 years ago
• ucbrise / LatticeFlow
  ☆28Updated 7 years ago
• NetSys / demi
  Interposition code for DEMi (Distributed Execution Minimizer)
  ☆87Updated 8 years ago
• fpaxos / fpaxos-tlaplus
  TLA+ specification of Flexible Paxos
  ☆38Updated last year
• ericmoritz / crdt
  CRDT toolbox
  ☆201Updated 11 years ago