FreeAndFair/formal-rcv
Some formalized developments of ranked-choice and instant-runoff voting schemes in Coq
Public GitHub Catalog
Discovered Sep 26, 2026
FreeAndFair / KOA-original
The Kiezen op Afstand (KOA) remote voting system, developed by LogicaCMG on behalf of the Dutch government in 2003-2004.
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#8137451GitHub System ID
FreeAndFairOrganization / User
PublicVisibility
ActiveCatalog Status
More from FreeAndFair
FreeAndFair/Votail
Votail is a rigorously engineered, formally verified tabulator for Irish PR-STV elections.
FreeAndFair/DIVS
A rigorously engineered tabulator for the Danish list-based voting scheme.
FreeAndFair/iBONText
Textual informal BON editor which features seamless integration between textual informal BON and Java