jepsen-io / jepsenLinks
A framework for distributed systems verification, with fault injection
☆7,150Updated last month
Alternatives and similar repositories for jepsen
Users that are interested in jepsen are comparing it to the libraries listed below
Sorting:
- Awesome list for Paxos and friends☆2,106Updated last year
- Class materials for a distributed systems lecture series☆9,211Updated 5 months ago
- Roshi is a large-scale CRDT set implementation for timestamped events.☆3,173Updated 2 years ago
- A generic dynamo implementation for different k-v storage engines☆4,220Updated last year
- WiredTiger's source tree☆2,324Updated this week
- Service orchestration and management tool.☆5,994Updated 2 months ago
- M3 monorepo - Distributed TSDB, Aggregator and Query Engine, Prometheus Sidecar, Graphite Compatible, Metrics Platform☆4,845Updated this week
- Distributed transactional key-value database, originally created to complement TiDB☆16,111Updated this week
- ☆3,454Updated 2 months ago
- Distributed storage for sequential data☆1,901Updated 3 years ago
- Golang implementation of the Raft consensus protocol☆8,748Updated last week
- FoundationDB - the open source, distributed, transactional key-value store☆15,656Updated this week
- A workbench for writing toy implementations of distributed systems.☆3,361Updated last month
- Old repo for Linkerd 1.x. See the linkerd2 repo for Linkerd 2.x.☆5,336Updated 2 years ago
- Sources for my PhD dissertation on the Raft consensus algorithm☆1,048Updated 9 years ago
- Distributed object store☆1,771Updated this week
- website at https://raft.github.io☆1,426Updated 4 months ago
- Kafka implemented in Golang with built-in coordination (No ZK dep, single binary install, Cloud Native)☆4,995Updated last year
- A network event stream processing system, in Clojure.☆4,246Updated 3 months ago
- Dr. TLA+ series - learn an algorithm and protocol, study a specification☆838Updated 3 years ago
- Beringei is a high performance, in-memory storage engine for time series data.☆3,165Updated 7 years ago
- A fault tolerant, protocol-agnostic RPC system☆8,838Updated 3 weeks ago
- In-memory dimensional time series database.☆3,503Updated this week
- TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.☆2,500Updated this week
- A constant throughput, correct latency recording variant of wrk☆4,453Updated last year
- Real-time Data Integration and Transformation: use SQL to transform, deliver, and act on fast-changing data.☆6,108Updated this week
- A fast linearizability checker written in Go 🔎☆1,077Updated last week
- Doorman: Global Distributed Client Side Rate Limiting.☆1,937Updated last year
- Yahoo! Cloud Serving Benchmark☆5,133Updated last week
- Pelikan is Twitter's unified cache backend☆1,953Updated last year