armen / dpLinks
Distributed Programming Abstractions
☆16Updated 7 years ago
Alternatives and similar repositories for dp
Users that are interested in dp are comparing it to the libraries listed below
Sorting:
- Distributed Systems Reading Group☆20Updated 8 years ago
- attempt at summarizing Raft in one page of pseudo-code☆20Updated 7 years ago
- Paxos Made Moderately Complex☆191Updated last year
- Kompics - A message-passing component model for building distributed systems☆66Updated 3 years ago
- DBMS Performance & Correctness Testing Framework☆30Updated 4 years ago
- How do we build a distributed, transactional key-value database - TiKV?☆97Updated 6 years ago
- Example multi-paxos application for those learning Paxos & multi-paxos☆94Updated 6 years ago
- A pluggable implementation of the Egalitarian Paxos Consensus Protocol☆63Updated 5 years ago
- CASPaxos: Replicated State Machines without logs☆104Updated 7 years ago
- Formal models of core Elasticsearch algorithms☆214Updated last year
- ☆17Updated 7 years ago
- Experiments in partially ordered SMR.☆48Updated 4 years ago
- epaxos☆102Updated 10 years ago
- A collection of state machine replication protocols☆121Updated 3 years ago
- NOPaxos consensus protocol☆139Updated 5 years ago
- A time series database prototype with multiple backends☆23Updated 5 years ago
- Prototype of FPaxos, built upon LibPaxos3☆48Updated 5 years ago
- ☆631Updated 4 years ago
- A Scala DSL for the Kompics framework☆20Updated 4 years ago
- An implementation of the Raft distributed consensus protocol.☆172Updated 10 years ago
- A Swiss Army knife for read-write quorum systems☆86Updated 4 years ago
- Paxos protocol variants framework☆26Updated 7 years ago
- A list of papers, conferences, books, mooc, Q&A and other stuffs for distributed systems☆172Updated 6 years ago
- Sparrow scheduling platform (U.C. Berkeley).☆328Updated 5 years ago
- Speculative Paxos replication protocol☆133Updated 9 years ago
- Panorama: Capturing and Enhancing In Situ System Observability for Failure Detection☆117Updated 5 years ago
- ☆12Updated 6 years ago
- ☆69Updated 3 years ago
- go-jepsen is a toolset for distributed systems verification, includes SIV(Snapshot Isolation Verification) and etc...☆63Updated 7 years ago
- Read- and latency-optimized log structured merge tree☆175Updated 13 years ago