リポジトリ

jepsen-io のリポジトリ

4 件の対応リポジトリ

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

Jepsen tests for the Capela distributed programming environment

最終コミット 2025/05/07

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

A framework for distributed systems verification, with fault injection

最終コミット 2026/08/17

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

Verifies the linearizability of experimentally accessible histories.

最終コミット 2026/07/17

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