jepsen-io/capelaClojure
Jepsen tests for the Capela distributed programming environment
(0 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)
Repositórios
Repositórios de jepsen-io
jepsen-io/jepsenClojure
A framework for distributed systems verification, with fault injection
(7.386 stars) (749 forks) (1 issue indexada) (1 good first issue aberta)
jepsen-io/knossosClojure
Verifies the linearizability of experimentally accessible histories.
(423 stars) (32 forks) (0 issues indexadas) (0 good first issues abertas)
jepsen-io/maelstromClojure
A workbench for writing toy implementations of distributed systems.
(3.590 stars) (205 forks) (0 issues indexadas) (0 good first issues abertas)