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 07.05.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 17.08.2026

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

Verifies the linearizability of experimentally accessible histories.

Letzter Commit 17.07.2026

 (424 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.11.2025

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