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 7k 727

  2. maelstrom maelstrom Public

    A workbench for writing toy implementations of distributed systems.

    Clojure 3.2k 196

  3. elle elle Public

    Black-box transactional safety checker based on cycle detection

    Isabelle 656 34

Repositories

Showing 10 of 28 repositories
  • jepsen Public

    A framework for distributed systems verification, with fault injection

    jepsen-io/jepsen’s past year of commit activity
    Clojure 6,998 727 65 (1 issue needs help) 1 Updated Apr 16, 2025
  • elle Public

    Black-box transactional safety checker based on cycle detection

    jepsen-io/elle’s past year of commit activity
    Isabelle 656 EPL-2.0 34 6 0 Updated Apr 11, 2025
  • postgres Public

    Jepsen tests for PostgreSQL

    jepsen-io/postgres’s past year of commit activity
    Clojure 11 0 0 0 Updated Apr 6, 2025
  • rds Public

    Library for launching AWS RDS clusters

    jepsen-io/rds’s past year of commit activity
    Clojure 0 0 0 0 Updated Apr 6, 2025
  • history.sim Public

    Deterministic simulation of Jepsen histories for testing database checkers

    jepsen-io/history.sim’s past year of commit activity
    Clojure 5 1 0 0 Updated Mar 7, 2025
  • knossos Public

    Verifies the linearizability of experimentally accessible histories.

    jepsen-io/knossos’s past year of commit activity
    Clojure 402 32 6 0 Updated Mar 7, 2025
  • history Public

    Support library for working with Jepsen histories

    jepsen-io/history’s past year of commit activity
    Clojure 8 2 0 1 Updated Mar 7, 2025
  • maelstrom Public

    A workbench for writing toy implementations of distributed systems.

    jepsen-io/maelstrom’s past year of commit activity
    Clojure 3,230 EPL-1.0 196 14 3 Updated Feb 4, 2025
  • etcd Public

    Jepsen tests for etcd

    jepsen-io/etcd’s past year of commit activity
    Clojure 22 EPL-2.0 10 1 0 Updated Jan 9, 2025
  • redpanda Public

    Tests for the Redpanda distributed queue

    jepsen-io/redpanda’s past year of commit activity
    Clojure 5 6 0 1 Updated Dec 2, 2024
View all repositories

Top languages

Loading…

Most used topics

Loading…