jepsen-io / jepsenLinks
A framework for distributed systems verification, with fault injection
☆7,165Updated last month
Alternatives and similar repositories for jepsen
Users that are interested in jepsen are comparing it to the libraries listed below
Sorting:
- A generic dynamo implementation for different k-v storage engines☆4,219Updated last year
- Roshi is a large-scale CRDT set implementation for timestamped events.☆3,173Updated 2 years ago
- Service orchestration and management tool.☆5,999Updated this week
- What are the differences between the transaction isolation levels in databases? This is a suite of test cases which differentiate isolati…☆2,625Updated 11 months ago
- WiredTiger's source tree☆2,331Updated this week
- M3 monorepo - Distributed TSDB, Aggregator and Query Engine, Prometheus Sidecar, Graphite Compatible, Metrics Platform☆4,853Updated this week
- Class materials for a distributed systems lecture series☆9,221Updated 6 months ago
- Awesome list for Paxos and friends☆2,109Updated last year
- Golang implementation of the Raft consensus protocol☆8,770Updated last week
- Kafka implemented in Golang with built-in coordination (No ZK dep, single binary install, Cloud Native)☆4,995Updated last year
- ☆3,471Updated 3 months ago
- In-memory dimensional time series database.☆3,507Updated this week
- A workbench for writing toy implementations of distributed systems.☆3,374Updated last week
- Curated list of resources on testing distributed systems☆2,572Updated last month
- Distributed transactional key-value database, originally created to complement TiDB☆16,153Updated this week
- LogCabin is a distributed storage system built on Raft that provides a small amount of highly replicated, consistent storage. It is a rel…☆1,944Updated last year
- The Self-Driving Database Management System☆2,047Updated 6 years ago
- Distributed storage for sequential data☆1,901Updated 3 years ago
- Sources for my PhD dissertation on the Raft consensus algorithm☆1,048Updated 9 years ago
- A distributed in-memory data store for the cloud☆2,145Updated last week
- A new data structure for accurate on-line accumulation of rank-based statistics such as quantiles and trimmed means☆2,096Updated 7 months ago
- TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.☆2,507Updated 2 weeks ago
- The book Distributed systems: for fun and profit☆2,618Updated 2 years ago
- A list of papers about distributed consensus.☆2,586Updated last year
- Old repo for Linkerd 1.x. See the linkerd2 repo for Linkerd 2.x.☆5,336Updated 2 years ago
- website at https://raft.github.io☆1,431Updated 4 months ago
- FoundationDB - the open source, distributed, transactional key-value store☆15,714Updated this week
- Golang package for gossip based membership and failure detection☆3,916Updated 2 months ago
- A collection of TLA⁺ specifications of varying complexities.☆1,409Updated 3 weeks ago
- A fast linearizability checker written in Go 🔎☆1,084Updated 2 weeks ago