Skip to content
@jepsen-io

Jepsen

Distributed Systems Testing

Pinned Loading

  1. jepsen Public

    A framework for distributed systems verification, with fault injection

    Clojure 7k 726

  2. maelstrom Public

    A workbench for writing toy implementations of distributed systems.

    Clojure 3.2k 196

  3. elle Public

    Black-box transactional safety checker based on cycle detection

    Isabelle 653 34

Repositories

Showing 10 of 28 repositories
  • jepsen Public

    A framework for distributed systems verification, with fault injection

    Clojure 6,988 726 64 (1 issue needs help) 1 Updated Mar 7, 2025
  • elle Public

    Black-box transactional safety checker based on cycle detection

    Isabelle 653 EPL-2.0 34 5 0 Updated Mar 7, 2025
  • history.sim Public

    Deterministic simulation of Jepsen histories for testing database checkers

    Clojure 5 1 0 0 Updated Mar 7, 2025
  • knossos Public

    Verifies the linearizability of experimentally accessible histories.

    Clojure 401 32 6 0 Updated Mar 7, 2025
  • history Public

    Support library for working with Jepsen histories

    Clojure 8 2 0 1 Updated Mar 7, 2025
  • rds Public

    Library for launching AWS RDS clusters

    Clojure 0 0 0 0 Updated Mar 1, 2025
  • maelstrom Public

    A workbench for writing toy implementations of distributed systems.

    Clojure 3,214 EPL-1.0 196 14 3 Updated Feb 4, 2025
  • etcd Public

    Jepsen tests for etcd

    Clojure 23 EPL-2.0 10 1 0 Updated Jan 9, 2025
  • redpanda Public

    Tests for the Redpanda distributed queue

    Clojure 5 6 0 1 Updated Dec 2, 2024
  • bufstream Public

    Jepsen tests for the Bufstream distributed log service

    Clojure 3 0 0 0 Updated Oct 29, 2024
View all repositories

Top languages

Loading…

Most used topics

Loading…