FreeAndFair/formal-rcv
Some formalized developments of ranked-choice and instant-runoff voting schemes in Coq
Public GitHub Catalog
Discovered Oct 5, 2026
FreeAndFair / KOA
KOA is a remote voting system experiment conducted in the Netherlands circa 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.
#29616919GitHub 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