GitHub repository: rabbitmq/jepsen
Primary language: Java
Description: A framework for distributed systems verification, with fault injection