FreeAndFair/evoting-systems
Archive of existing evoting systems created by others.
An Eclipse based Development Environment for the RAISE formal method.
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
Archive of existing evoting systems created by others.
The DemTech verified elections logging system.
The Kiezen op Afstand (KOA) remote voting system, developed by LogicaCMG on behalf of the Dutch government in 2003-2004.
The DemTech Kiosk Voting System.