リポジトリ

jepsen-io のリポジトリ

4 件の対応リポジトリ

索引済み issue があるリポジトリを表示
jepsen-io/capelaClojure

Jepsen tests for the Capela distributed programming environment

最終コミット 2025年5月7日

 (0 stars) (0 forks) (0 件の索引済み issue) (0 件のオープンな good first issue)
jepsen-io/jepsenClojure

A framework for distributed systems verification, with fault injection

最終コミット 2026年4月27日

 (7,386 stars) (749 forks) (1 件の索引済み issue) (1 件のオープンな good first issue)
jepsen-io/knossosClojure

Verifies the linearizability of experimentally accessible histories.

最終コミット 2026年3月9日

 (423 stars) (32 forks) (0 件の索引済み issue) (0 件のオープンな good first issue)
jepsen-io/maelstromClojure

A workbench for writing toy implementations of distributed systems.

最終コミット 2025年11月28日

 (3,590 stars) (205 forks) (0 件の索引済み issue) (0 件のオープンな good first issue)