Dépôts

Dépôts de jepsen-io

4 dépôts pris en charge

Afficher les dépôts avec des issues indexées
jepsen-io/capelaClojure

Jepsen tests for the Capela distributed programming environment

Dernier commit 7 mai 2025

 (0 stars) (0 forks) (0 issues indexées) (0 good first issues ouvertes)
jepsen-io/jepsenClojure

A framework for distributed systems verification, with fault injection

Dernier commit 27 avr. 2026

 (7 386 stars) (749 forks) (1 issue indexée) (1 good first issue ouverte)
jepsen-io/knossosClojure

Verifies the linearizability of experimentally accessible histories.

Dernier commit 9 mars 2026

 (423 stars) (32 forks) (0 issues indexées) (0 good first issues ouvertes)
jepsen-io/maelstromClojure

A workbench for writing toy implementations of distributed systems.

Dernier commit 28 nov. 2025

 (3 590 stars) (205 forks) (0 issues indexées) (0 good first issues ouvertes)