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