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
- Concurrent Log-Structured Memory for Many-Core Key-Value Stores☆35Updated 4 years ago
- Paxos-replicated key-value store in 3 hours or less.☆25Updated 8 years ago
- Wren: Nonblocking Reads in a Partitioned Transactional Causally Consistent Data Store☆8Updated 6 years ago
- hybrid logical clock for Rust☆21Updated 9 years ago
- ☆12Updated 5 years ago
- TLA+ specifications related to Viewstamped Replication☆32Updated 2 years ago
- Rust bindings for SPDK☆19Updated 7 years ago
- Distributed Systems Reading Group☆20Updated 7 years ago
- Implementation of Adaptive Radix Tree in Rust☆43Updated 5 years ago
- DBMS Performance & Correctness Testing Framework☆30Updated 3 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
- ☆11Updated 3 years ago
- Rust CASPaxos implementation☆66Updated 4 years ago
- (getting to be a) hard to kill scalable linearizabe store☆78Updated 9 years ago
- A hierarchical timer wheel in Rust☆17Updated 7 years ago
- TLA+ specification of Flexible Paxos☆40Updated last year
- The Materialize SQL parser☆29Updated 5 years ago
- Rust bindings to Intel's DPDK.☆49Updated 7 years ago
- TLA+ specification of Fast Flexible Paxos☆18Updated 4 years ago
- CASPaxos: Replicated State Machines without logs☆99Updated 6 years ago
- An implementation of the disruptor data structure in Rust☆48Updated 7 years ago
- The HexagonE VM☆25Updated 2 years ago
- Dependably fast multi-core in-memory transactions☆19Updated 7 years ago
- Write Ahead Logging for Rust☆25Updated 8 years ago
- Using "Testing Shared Memories" paper to make Jepsen check linearizability in linear time☆20Updated 6 years ago
- Fast linearizability checker☆66Updated 9 years ago
- A system for maintaining replicated state machines☆114Updated 7 years ago
- CLOCK-Pro cache replacement algorithm for Rust☆27Updated last year
- A basic log-structured flash datastore☆20Updated 2 years ago