GitHub repository: AU-COBRA/OVN
Primary language: Coq
Description: Verified implementation of the Open Vote Network protocol