GitHub repository: sequentech/ballot-verifier
Primary language: C
Description: Reference cast-as-intended verifier for Sequent. Allows voters to audit spoiled ballots.