Star AlbumentationsX on GitHub — it powers this leaderboard
pingcap/jepsen
A framework for distributed systems verification, with fault injection
