GitHub repository: 4ever2/OVN
Description: Verified implementation of the Open Vote Network protocol