GitHub repository: uwplse/verdi
Primary language: Coq
Description: A framework for formally verifying distributed systems implementations in Coq