acharapko / retroscope-lib
☆14Updated 7 years ago
Alternatives and similar repositories for retroscope-lib:
Users that are interested in retroscope-lib are comparing it to the libraries listed below
- Paxos-replicated key-value store in 3 hours or less.☆25Updated 8 years ago
- TLA+ specifications related to Viewstamped Replication☆32Updated 2 years ago
- Concurrent Log-Structured Memory for Many-Core Key-Value Stores☆35Updated 4 years ago
- hybrid logical clock for Rust☆21Updated 9 years ago
- Wren: Nonblocking Reads in a Partitioned Transactional Causally Consistent Data Store☆8Updated 6 years ago
- Rust bindings for SPDK☆19Updated 7 years ago
- (getting to be a) hard to kill scalable linearizabe store☆78Updated 9 years ago
- Distributed Systems Reading Group☆20Updated 7 years ago
- CASPaxos: Replicated State Machines without logs☆100Updated 6 years ago
- TLA+ specification of Flexible Paxos☆40Updated last year
- ☆12Updated 5 years ago
- Dependably fast multi-core in-memory transactions☆19Updated 7 years ago
- ZooKeeper server on top of FoundationDB☆26Updated 4 years ago
- The Materialize SQL parser☆29Updated 5 years ago
- ☆11Updated 3 years ago
- Paxos protocol variants framework☆26Updated 7 years ago
- Concurrent skip list☆24Updated 6 years ago
- The Musketeer workflow manager.☆41Updated 6 years ago
- DBMS Performance & Correctness Testing Framework☆30Updated 3 years ago
- Collection of CRDT data structures☆17Updated 8 years ago
- Prototype of FPaxos, built upon LibPaxos3☆49Updated 5 years ago
- Rust CASPaxos implementation☆66Updated 4 years ago
- Implementation of Adaptive Radix Tree in Rust☆43Updated 5 years ago
- CLOCK-Pro cache replacement algorithm for Rust☆27Updated last year
- rust database engineering toolkit☆33Updated 3 years ago
- A collection of state machine replication protocols☆118Updated 2 years ago
- TLA+ specification of Fast Flexible Paxos☆18Updated 4 years ago
- A distributed key-value cache with builtin materialized views.☆26Updated 10 years ago
- For research related to Humming Consensus: errata & corrections, source code for future work, etc.☆10Updated 8 years ago
- ☆27Updated 6 years ago