jepsen-io / jepsenLinks
A framework for distributed systems verification, with fault injection
☆7,118Updated 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,212Updated last year
- Roshi is a large-scale CRDT set implementation for timestamped events.☆3,170Updated 2 years ago
- What are the differences between the transaction isolation levels in databases? This is a suite of test cases which differentiate isolati…☆2,606Updated 9 months ago
- Service orchestration and management tool.☆5,978Updated last month
- Class materials for a distributed systems lecture series☆9,206Updated 4 months ago
- In-memory dimensional time series database.☆3,501Updated 3 weeks ago
- WiredTiger's source tree☆2,312Updated this week
- Curated list of resources on testing distributed systems☆2,562Updated 2 months ago
- Awesome list for Paxos and friends☆2,100Updated last year
- M3 monorepo - Distributed TSDB, Aggregator and Query Engine, Prometheus Sidecar, Graphite Compatible, Metrics Platform☆4,833Updated this week
- ☆3,441Updated last month
- A network event stream processing system, in Clojure.☆4,247Updated 2 months ago
- A distributed in-memory data store for the cloud☆2,134Updated last week
- Distributed transactional key-value database, originally created to complement TiDB☆16,026Updated this week
- NoSQL data store using the Seastar framework, compatible with Apache Cassandra and Amazon DynamoDB☆14,707Updated last week
- Golang implementation of the Raft consensus protocol☆8,717Updated 3 weeks ago
- Old repo for Linkerd 1.x. See the linkerd2 repo for Linkerd 2.x.☆5,333Updated 2 years ago
- A workbench for writing toy implementations of distributed systems.☆3,325Updated 5 months ago
- A collection of TLA⁺ specifications of varying complexities.☆1,381Updated last week
- Kafka implemented in Golang with built-in coordination (No ZK dep, single binary install, Cloud Native)☆4,991Updated last year
- TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.☆2,467Updated this week
- CockroachDB — the cloud native, distributed SQL database designed for high availability, effortless scale, and control over data placemen…☆31,115Updated this week
- A list of papers about distributed consensus.☆2,584Updated 11 months ago
- Riak is a decentralized datastore from Basho Technologies.☆3,996Updated last year
- A constant throughput, correct latency recording variant of wrk☆4,434Updated last year
- A new data structure for accurate on-line accumulation of rank-based statistics such as quantiles and trimmed means☆2,083Updated 5 months ago
- Sources for my PhD dissertation on the Raft consensus algorithm☆1,044Updated 9 years ago
- LogCabin is a distributed storage system built on Raft that provides a small amount of highly replicated, consistent storage. It is a rel…☆1,940Updated last year
- Disque is a distributed message broker☆8,053Updated 4 years ago
- A fast, light-weight proxy for memcached and redis☆12,276Updated last year