- ๐ Hi, Iโm Jian.
- ๐ Iโm interested in computer systems and system verification.
winddd / jepsen Goto Github PK
View Code? Open in Web Editor NEWThis project forked from jepsen-io/jepsen
A framework for distributed systems verification, with fault injection