FreeAndFair/Votail
Votail is a rigorously engineered, formally verified tabulator for Irish PR-STV elections.
Public GitHub Catalog
Discovered Oct 14, 2026
FreeAndFair / formal-rcv
Some formalized developments of ranked-choice and instant-runoff voting schemes in Coq
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.
#37278262GitHub System ID
FreeAndFairOrganization / User
PublicVisibility
ActiveCatalog Status
More from FreeAndFair
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
FreeAndFair/KOA
KOA is a remote voting system experiment conducted in the Netherlands circa 2004.