Repositories

jepsen-io repositories

4 supported repositories

Show repositories with indexed issues
jepsen-io/capelaClojure

Jepsen tests for the Capela distributed programming environment

Last commit May 7, 2025

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
jepsen-io/jepsenClojure

A framework for distributed systems verification, with fault injection

Last commit Aug 14, 2026

 (7,472 stars) (754 forks) (1 indexed issue) (1 open good first issue)
jepsen-io/knossosClojure

Verifies the linearizability of experimentally accessible histories.

Last commit Jul 17, 2026

 (424 stars) (32 forks) (0 indexed issues) (0 open good first issues)
jepsen-io/maelstromClojure

A workbench for writing toy implementations of distributed systems.

Last commit Nov 28, 2025

 (3,590 stars) (205 forks) (0 indexed issues) (0 open good first issues)