We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
A framework for distributed systems verification, with fault injection
Clojure 7.3k 743
A workbench for writing toy implementations of distributed systems.
Clojure 3.5k 201
Black-box transactional safety checker based on cycle detection
Isabelle 689 36
There was an error while loading. Please reload this page.
Verifies the linearizability of experimentally accessible histories.
Deterministic simulation of Jepsen histories for testing database checkers
Support library for working with Jepsen histories
Tests for MySQL and MariaDB
Jepsen tests for the Zookeeper coordination system
Jepsen tests for YugaByteDB
Jepsen tests for the TiDB distributed SQL DB
Jepsen tests for the Stolon PostgreSQL replication system
Loading…
