Owner · jepsen-io

jepsen-io

jepsen-io's tracked open-source repos, sorted by stars.

3 repos

#1
jepsen ↗@jepsen-ioClojure
A framework for distributed systems verification, with fault injection
★ 7,485+5Star change over the last 7 days
#2
maelstrom ↗@jepsen-ioClojure
A workbench for writing toy implementations of distributed systems.
★ 3,671+3Star change over the last 7 days
#3
elle ↗@jepsen-ioIsabelle
Black-box transactional safety checker based on cycle detection
★ 702-1Star change over the last 7 days