FreeAndFair/formal-rcv
Some formalized developments of ranked-choice and instant-runoff voting schemes in Coq
Public GitHub Catalog
Discovered Oct 5, 2026
FreeAndFair / DIVS
A rigorously engineered tabulator for the Danish list-based voting scheme.
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.
#29709581GitHub 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/iBONText
Textual informal BON editor which features seamless integration between textual informal BON and Java
FreeAndFair/KOA
KOA is a remote voting system experiment conducted in the Netherlands circa 2004.