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
- Paxos protocol variants framework☆26Updated 7 years ago
- Wren: Nonblocking Reads in a Partitioned Transactional Causally Consistent Data Store☆8Updated 6 years ago
- Concurrent Log-Structured Memory for Many-Core Key-Value Stores☆35Updated 4 years ago
- A pluggable implementation of the Egalitarian Paxos Consensus Protocol☆61Updated 4 years ago
- Feed-forward Bloom filters☆52Updated 13 years ago
- How do we build a distributed, transactional key-value database - TiKV?☆97Updated 6 years ago
- A Usermode Hookable Filesystem Library☆45Updated 6 years ago
- A time series database prototype with multiple backends☆23Updated 5 years ago
- Pluscal/TLA+ modeling of distributed systems/protocols☆78Updated last year
- attempt at summarizing Raft in one page of pseudo-code☆20Updated 7 years ago
- An implementation of the Raft distributed consensus protocol.☆172Updated 9 years ago
- CASPaxos: Replicated State Machines without logs☆100Updated 6 years ago
- ☆14Updated 7 years ago
- ☆12Updated 5 years ago
- Kompics - A message-passing component model for building distributed systems☆65Updated 2 years ago
- File Structures (B+Tree, BTree) for Go☆70Updated 9 years ago
- DBMS Performance & Correctness Testing Framework☆30Updated 3 years ago
- Artifact for PPoPP'18☆19Updated 3 years ago
- A Swiss Army knife for read-write quorum systems☆84Updated 3 years ago
- Paxos-replicated key-value store in 3 hours or less.☆25Updated 8 years ago
- TLA+ specification of Fast Flexible Paxos☆18Updated 4 years ago
- Prototype of FPaxos, built upon LibPaxos3☆49Updated 5 years ago
- ☆10Updated 7 years ago
- A framework for distributed applications☆59Updated 4 years ago
- Tests with PlusCal / TLA+☆25Updated 8 years ago
- simple consistent hashing implementation☆55Updated 6 years ago
- RocksDB/LevelDB inspired key-value database in Go☆10Updated 4 years ago
- epaxos☆100Updated 9 years ago
- Just in Time Datastructures☆11Updated 8 years ago