Repository

Repository di jepsen-io

Jepsen tests for the Capela distributed programming environment

Ultimo commit 7 mag 2025

 (0 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)

A framework for distributed systems verification, with fault injection

Ultimo commit 27 apr 2026

 (7386 star) (749 fork) (1 issue indicizzata) (1 good first issue aperta)

Verifies the linearizability of experimentally accessible histories.

Ultimo commit 9 mar 2026

 (423 star) (32 fork) (0 issue indicizzate) (0 good first issue aperte)

A workbench for writing toy implementations of distributed systems.

Ultimo commit 28 nov 2025

 (3590 star) (205 fork) (0 issue indicizzate) (0 good first issue aperte)