bholt / ipaLinks
Safely trading off consistency for performance.
☆12Updated 5 years ago
Alternatives and similar repositories for ipa
Users that are interested in ipa are comparing it to the libraries listed below
Sorting:
- For research related to Humming Consensus: errata & corrections, source code for future work, etc.☆10Updated 8 years ago
- Distributed Data Structures in Coq☆49Updated 11 years ago
- Wren: Nonblocking Reads in a Partitioned Transactional Causally Consistent Data Store☆8Updated 6 years ago
- Atomix Jepsen tests☆14Updated 8 years ago
- Running CRDT experiments on top of https://github.com/vitorenesduarte/ldb☆15Updated 4 years ago
- TLA+ specification for the Raft consensus algorithm (with Pre-Vote)☆12Updated 7 years ago
- SPREAD☆19Updated 4 years ago
- A top-like utility for monitoring Finagle services☆22Updated 11 years ago
- Using "Testing Shared Memories" paper to make Jepsen check linearizability in linear time☆20Updated 6 years ago
- Erlang implementation of tagged reliable causal broadcast.☆25Updated 7 years ago
- Ensemble is a prototype of a distributed, convergent, set-based programming language inspired by APL.☆13Updated 9 years ago
- Oblivious RAM for Scala☆19Updated 4 years ago
- Parses and executes Runway models of distributed systems☆50Updated 3 years ago
- A recursive ascent/descent parser generator for Scala☆33Updated 2 years ago
- Experimental evaluation for the Partisan paper at USENIX ATC 2019.☆22Updated 6 years ago
- Collection of CRDT data structures☆17Updated 8 years ago
- DSL for fault-tolerant distributed algorithms using partially-synchronous communication-closed rounds☆44Updated 3 years ago
- Synchronous fault-tolerant distributed algorithms encoded in TLA+☆32Updated 4 years ago
- scylladb jepsen clone☆16Updated 11 months ago
- ☆57Updated 7 years ago
- a capability-based system☆40Updated 7 years ago
- A small library for using unfiltered as a finagle frontend.☆22Updated 11 years ago
- ☆13Updated 6 years ago
- Replication of CRDTs☆38Updated 4 years ago
- A new programming model for asynchronous and distributed programming.☆36Updated 7 years ago
- A Scala DSL for the Kompics framework☆19Updated 3 years ago
- A Framework for building Distributed Consensus Protocols☆10Updated 7 years ago
- Fault-tolerant distributed algorithms encoded in a formal language☆14Updated 4 years ago
- TLA+ specification of Flexible Paxos☆40Updated last year
- EXPERIMENTAL PROTOTYPE code for "Bolt-on Causal Consistency" appearing in SIGMOD 2013☆12Updated 11 years ago