Repositories

jepsen-io Repositories

4 unterstützte Repositories

Repositories mit indexierten Issues anzeigen
jepsen-io/capelaClojure

Jepsen tests for the Capela distributed programming environment

Letzter Commit 7. Mai 2025

 (0 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
jepsen-io/jepsenClojure

A framework for distributed systems verification, with fault injection

Letzter Commit 27. Apr. 2026

 (7.386 Stars) (749 Forks) (1 indexiertes Issue) (1 offenes good first issue)
jepsen-io/knossosClojure

Verifies the linearizability of experimentally accessible histories.

Letzter Commit 9. März 2026

 (423 Stars) (32 Forks) (0 indexierte Issues) (0 offene good first issues)
jepsen-io/maelstromClojure

A workbench for writing toy implementations of distributed systems.

Letzter Commit 28. Nov. 2025

 (3.590 Stars) (205 Forks) (0 indexierte Issues) (0 offene good first issues)