uwplse's tracked open-source repos, sorted by stars.
A framework for formally verifying distributed systems implementations in Coq
