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 6.7k 711

  2. maelstrom maelstrom Public

    A workbench for writing toy implementations of distributed systems.

    Clojure 2.9k 183

  3. elle elle Public

    Black-box transactional safety checker based on cycle detection

    Isabelle 626 35

Repositories

Showing 10 of 27 repositories
  • jepsen Public

    A framework for distributed systems verification, with fault injection

    jepsen-io/jepsen’s past year of commit activity
    Clojure 6,697 711 56 (1 issue needs help) 1 Updated Jul 19, 2024
  • maelstrom Public

    A workbench for writing toy implementations of distributed systems.

    jepsen-io/maelstrom’s past year of commit activity
    Clojure 2,924 EPL-1.0 183 13 3 Updated Jun 2, 2024
  • mysql Public

    Tests for MySQL and MariaDB

    jepsen-io/mysql’s past year of commit activity
    Clojure 4 3 0 0 Updated Apr 15, 2024
  • rds Public

    Library for launching AWS RDS clusters

    jepsen-io/rds’s past year of commit activity
    Clojure 0 0 0 0 Updated Mar 4, 2024
  • postgres Public

    Jepsen tests for PostgreSQL

    jepsen-io/postgres’s past year of commit activity
    Clojure 8 0 0 0 Updated Mar 4, 2024
  • datomic Public

    Jepsen tests for the Datomic distributed database

    jepsen-io/datomic’s past year of commit activity
    Clojure 9 0 0 0 Updated Feb 6, 2024
  • ravendb Public

    Jepsen tests for RavenDB

    jepsen-io/ravendb’s past year of commit activity
    Clojure 5 0 0 0 Updated Jan 26, 2024
  • elle Public

    Black-box transactional safety checker based on cycle detection

    jepsen-io/elle’s past year of commit activity
    Isabelle 626 EPL-2.0 35 6 0 Updated Jan 26, 2024
  • 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 Dec 19, 2023
  • history Public

    Support library for working with Jepsen histories

    jepsen-io/history’s past year of commit activity
    Clojure 7 2 0 1 Updated Dec 8, 2023
View all repositories

Top languages

Loading…

Most used topics

Loading…