A framework for distributed systems verification, with fault injection
☆46Dec 10, 2025Updated 2 months ago
Alternatives and similar repositories for jepsen
Users that are interested in jepsen are comparing it to the libraries listed below
Sorting:
- go-jepsen is a toolset for distributed systems verification, includes SIV(Snapshot Isolation Verification) and etc...☆63Feb 27, 2018Updated 8 years ago
- A test framework for linearizability check with Go☆209Jul 10, 2019Updated 6 years ago
- ☆38Aug 10, 2020Updated 5 years ago
- scripts for testing TiDB☆10Feb 4, 2026Updated 3 weeks ago
- fuzzing for config☆13Sep 15, 2020Updated 5 years ago
- An embedded key/value database for Go.☆10Apr 3, 2021Updated 4 years ago
- This repository has been archived. See https://github.com/chaos-mesh/go-sqlancer for the new version☆12May 12, 2020Updated 5 years ago
- Blog code snippets☆28Oct 24, 2013Updated 12 years ago
- scylladb jepsen clone☆16Jul 2, 2024Updated last year
- How do we build a distributed, transactional key-value database - TiKV?☆97Apr 12, 2019Updated 6 years ago
- ☆305Jun 9, 2024Updated last year
- A toolkit for testing TiDB☆139Feb 25, 2023Updated 3 years ago
- Tool to tune TiKV with ML method☆64Nov 13, 2020Updated 5 years ago
- A Bloom Filter for Java☆16Aug 25, 2024Updated last year
- go-sqlancer☆78Sep 15, 2020Updated 5 years ago
- a QA tool to random generate sql by bnf pattern☆78Mar 7, 2023Updated 2 years ago
- Yet Another RAFT implementation☆126Oct 12, 2018Updated 7 years ago
- Solitaire is a Faster Linearizability Checker Supporting Multiple Data Model☆18Aug 9, 2018Updated 7 years ago
- Getting Starting with NIMBUS-CORE☆10Dec 16, 2023Updated 2 years ago
- Pattern Fuzzing for Worst-Case Algorithmic Complexity using Program Synthesis☆20Aug 24, 2021Updated 4 years ago
- ☆21Mar 25, 2023Updated 2 years ago
- 鯰: Programmable fuzzy scheduler for testing distributed systems☆495Aug 24, 2018Updated 7 years ago
- an implementation of raft in Go☆158Aug 2, 2021Updated 4 years ago
- Competitive Programming 2, 2016 Spring☆22May 24, 2016Updated 9 years ago
- This is a small os forked from Tsinghua's Operatinig System repository ucore_os☆18Aug 6, 2021Updated 4 years ago
- Verifies the linearizability of experimentally accessible histories.☆418Jan 6, 2026Updated last month
- An implementation of failpoints for Golang.☆872Dec 31, 2025Updated 2 months ago
- DAG-based blockchain☆10Apr 20, 2019Updated 6 years ago
- ☆11Jun 12, 2023Updated 2 years ago
- some quantile algorithm implementaton for stream data☆12Jul 24, 2018Updated 7 years ago
- Placement driver for TiKV☆1,146Updated this week
- A PyTorch implementation of the paper "Decoupled Parallel Backpropagation with Convergence Guarantee"☆30Jul 18, 2018Updated 7 years ago
- Nuft is an C++17 implementation of the Raft consensus algorithm.☆26Apr 12, 2022Updated 3 years ago
- horoscope is an optimizer inspector for DBMS.☆36Apr 15, 2021Updated 4 years ago
- A fast linearizability checker written in Go 🔎☆1,149Feb 10, 2026Updated 2 weeks ago
- This is a hanabi AI bot that can play on http://keldon.net/hanabi/☆11May 29, 2017Updated 8 years ago
- Kernel module that makes it possible to create virtual wifi devices each with a virtualized stack.☆11Dec 13, 2011Updated 14 years ago
- consensus-yaraft is a library for distributed, strong consistent, highly replicated log storage. It's based on yaraft, which is an implem…☆29Oct 30, 2017Updated 8 years ago
- failpoints for go☆412Feb 7, 2026Updated 3 weeks ago