Skip to content
@jepsen-io

Jepsen

Distributed Systems Testing

Pinned Loading

  1. jepsen jepsen Public

    A framework for distributed systems verification, with fault injection

    Clojure 7.3k 741

  2. maelstrom maelstrom Public

    A workbench for writing toy implementations of distributed systems.

    Clojure 3.5k 199

  3. elle elle Public

    Black-box transactional safety checker based on cycle detection

    Isabelle 685 35

Repositories

Showing 10 of 49 repositories
  • mysql Public

    Tests for MySQL and MariaDB

    jepsen-io/mysql’s past year of commit activity
    Clojure 7 6 0 0 Updated Jan 11, 2026
  • jepsen Public

    A framework for distributed systems verification, with fault injection

    jepsen-io/jepsen’s past year of commit activity
    Clojure 7,288 741 66 (1 issue needs help) 1 Updated Jan 11, 2026
  • knossos Public

    Verifies the linearizability of experimentally accessible histories.

    jepsen-io/knossos’s past year of commit activity
    Clojure 416 32 7 0 Updated Jan 6, 2026
  • elle Public

    Black-box transactional safety checker based on cycle detection

    jepsen-io/elle’s past year of commit activity
    Isabelle 685 EPL-2.0 35 6 0 Updated Dec 13, 2025
  • zookeeper Public

    Jepsen tests for the Zookeeper coordination system

    jepsen-io/zookeeper’s past year of commit activity
    Clojure 1 EPL-1.0 0 0 0 Updated Dec 3, 2025
  • yugabytedb Public

    Jepsen tests for YugaByteDB

    jepsen-io/yugabytedb’s past year of commit activity
    Clojure 0 0 0 0 Updated Dec 3, 2025
  • tidb Public

    Jepsen tests for the TiDB distributed SQL DB

    jepsen-io/tidb’s past year of commit activity
    Clojure 0 EPL-1.0 0 0 0 Updated Dec 3, 2025
  • stolon Public

    Jepsen tests for the Stolon PostgreSQL replication system

    jepsen-io/stolon’s past year of commit activity
    Clojure 0 EPL-2.0 0 0 0 Updated Dec 3, 2025
  • rethinkdb Public

    Jepsen tests for RethinkDB

    jepsen-io/rethinkdb’s past year of commit activity
    Clojure 0 0 0 0 Updated Dec 3, 2025
  • rabbitmq Public

    Jepsen tests for the RabbitMQ message queue

    jepsen-io/rabbitmq’s past year of commit activity
    Erlang 0 EPL-1.0 0 0 0 Updated Dec 3, 2025
View all repositories

Most used topics

Loading…