倉庫

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年8月17日

 (7,480 stars) (754 forks) (1 個已索引 issue) (1 個開放 good first issue)
jepsen-io/knossosClojure

Verifies the linearizability of experimentally accessible histories.

最近提交 2026年7月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)