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