Repository

Repository di jepsen-io

4 repository supportati

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 17 ago 2026

 (7480 star) (754 fork) (1 issue indicizzata) (1 good first issue aperta)

Verifies the linearizability of experimentally accessible histories.

Ultimo commit 17 lug 2026

 (424 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)