Popular repositories Loading

1. juvenal juvenal Public

   Universal web-based election verifier

   TypeScript 3 1

2. juvenal-lib juvenal-lib Public

   Library that implements an universal election verifier

   TypeScript 2

3. electionguard-verifier electionguard-verifier Public

   Forked from Election-Tech-Initiative/electionguard-verifier

   The ElectionGuard SDK Reference Verifier enables the verification of election ballots, tallies, and proofs generated by the ElectionGuard SDK

   Rust

4. secure-e-voting-with-coq secure-e-voting-with-coq Public

   Forked from gerlion/secure-e-voting-with-coq

   Coq