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.2k 740

  2. maelstrom maelstrom Public

    A workbench for writing toy implementations of distributed systems.

    Clojure 3.4k 198

  3. elle elle Public

    Black-box transactional safety checker based on cycle detection

    Isabelle 680 36

Repositories

Showing 10 of 31 repositories
  • nats Public

    Jepsen tests for the NATS streaming system

    jepsen-io/nats’s past year of commit activity
    Clojure 6 1 0 0 Updated Nov 28, 2025
  • maelstrom Public

    A workbench for writing toy implementations of distributed systems.

    jepsen-io/maelstrom’s past year of commit activity
    Clojure 3,436 EPL-1.0 198 15 2 Updated Nov 28, 2025
  • jepsen Public

    A framework for distributed systems verification, with fault injection

    jepsen-io/jepsen’s past year of commit activity
    Clojure 7,220 740 65 (1 issue needs help) 1 Updated Nov 20, 2025
  • etcd Public

    Jepsen tests for etcd

    jepsen-io/etcd’s past year of commit activity
    Clojure 21 EPL-2.0 10 1 0 Updated Nov 5, 2025
  • tigerbeetle Public

    Jepsen tests for the TigerBeetle distributed database

    jepsen-io/tigerbeetle’s past year of commit activity
    Clojure 8 0 0 0 Updated Oct 22, 2025
  • history Public

    Support library for working with Jepsen histories

    jepsen-io/history’s past year of commit activity
    Clojure 8 1 0 0 Updated Oct 21, 2025
  • elle Public

    Black-box transactional safety checker based on cycle detection

    jepsen-io/elle’s past year of commit activity
    Isabelle 680 EPL-2.0 36 6 0 Updated Oct 21, 2025
  • knossos Public

    Verifies the linearizability of experimentally accessible histories.

    jepsen-io/knossos’s past year of commit activity
    Clojure 412 33 6 0 Updated Oct 21, 2025
  • postgres Public

    Jepsen tests for PostgreSQL

    jepsen-io/postgres’s past year of commit activity
    Clojure 13 2 0 0 Updated Aug 30, 2025
  • capela Public

    Jepsen tests for the Capela distributed programming environment

    jepsen-io/capela’s past year of commit activity
    Clojure 0 0 0 0 Updated May 7, 2025
View all repositories

Most used topics

Loading…