仓库

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)