armen / dp
Distributed Programming Abstractions
☆16Updated 6 years ago
Alternatives and similar repositories for dp:
Users that are interested in dp are comparing it to the libraries listed below
- Distributed Systems Reading Group☆20Updated 7 years ago
- Kompics - A message-passing component model for building distributed systems☆65Updated 2 years ago
- attempt at summarizing Raft in one page of pseudo-code☆19Updated 6 years ago
- A pluggable implementation of the Egalitarian Paxos Consensus Protocol☆60Updated 4 years ago
- ☆14Updated 7 years ago
- Paxos Made Moderately Complex☆173Updated 5 months ago
- An implementation of the Raft distributed consensus protocol.☆172Updated 9 years ago
- A framework for distributed applications☆59Updated 4 years ago
- ☆18Updated 6 years ago
- Time, Clocks, and the Ordering of Events☆40Updated 3 years ago
- File Structures (B+Tree, BTree) for Go☆70Updated 9 years ago
- simple consistent hashing implementation☆55Updated 6 years ago
- ☆25Updated 7 years ago
- Example multi-paxos application for those learning Paxos & multi-paxos☆91Updated 5 years ago
- CASPaxos: Replicated State Machines without logs☆97Updated 6 years ago
- ☆14Updated 10 years ago
- Feed-forward Bloom filters☆52Updated 13 years ago
- How do we build a distributed, transactional key-value database - TiKV?☆97Updated 5 years ago
- go-jepsen is a toolset for distributed systems verification, includes SIV(Snapshot Isolation Verification) and etc...☆64Updated 6 years ago
- Paxos protocol variants framework☆27Updated 6 years ago
- ☆10Updated 7 years ago
- Interposition code for DEMi (Distributed Execution Minimizer)☆87Updated 8 years ago
- Concurrent Log-Structured Memory for Many-Core Key-Value Stores☆35Updated 4 years ago
- epaxos☆99Updated 9 years ago
- Prototype of FPaxos, built upon LibPaxos3☆49Updated 4 years ago
- Wren: Nonblocking Reads in a Partitioned Transactional Causally Consistent Data Store☆8Updated 6 years ago
- Pluscal/TLA+ modeling of distributed systems/protocols☆78Updated last year
- TLA+ specification of Flexible Paxos☆38Updated last year
- SwimRing - A Minimal Distributed Fault-Tolerant Key-Value Store built with SWIM Gossip Protocol and Consistent Hash Ring☆61Updated 8 years ago
- Exploration of the Dynamo paper in Python☆41Updated 5 years ago