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 200
Black-box transactional safety checker based on cycle detection
Isabelle 689 36
Support library for working with Jepsen histories
There was an error while loading. Please reload this page.
Verifies the linearizability of experimentally accessible 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
Jepsen tests for RethinkDB
Loading…
