Public GitHub Catalog
Discovered Sep 25, 2026
dermot-cochran / Votail
Votail is an implementation of Ireland's method of Proportional Representation by Single Transferable Vote (PRSTV). The functional requirements derived from Irish electoral law are specified using Business Object Notation (BON) and the Java Modeling Language (JML). Formal methods have been used to verify the correctness of the software.
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.
#3203702GitHub System ID
dermot-cochranOrganization / User
PublicVisibility
ActiveCatalog Status