Skip to content
@jepsen-io

Jepsen

Distributed Systems Testing

Pinned

  1. jepsen Public

    A framework for distributed systems verification, with fault injection

    Clojure 5.9k 668

  2. maelstrom Public

    A workbench for writing toy implementations of distributed systems.

    Clojure 788 53

  3. elle Public

    Black-box transactional safety checker based on cycle detection

    Isabelle 535 31

Repositories

Most used topics

Loading…