Grow your team on GitHub
GitHub is home to over 28 million developers working together. Join them to grow your own development teams, manage permissions, and collaborate on projects.Sign up
Software to facilitate risk-limiting audits at the state level, developed for the state of Colorado.
Archive of existing evoting systems created by others.
Documents Free & Fair has generated, including responses to RFPs, RFIs, and other opportunities.
STAR-Vote: A Secure, Transparent, Auditable, and Reliable Voting System.
OpenCount vote counting application
A repository containing books, papers, reports, and standards relevant to our R&D.
Qubie is a passive, privacy-preserving data gathering system that helps election officials better understand the flow of voters at their polling places.
Free & Fair's open source RLA support software.
An automated unit test framework for JML-annotated Java projects.
Various kinds of analysis on raw election data.
An Eclipse based Development Environment for the RAISE formal method.
BONc is a parser and typechecker for the Business Object Notation (BON).
A web-based demonstration that illustrates the relative security of various voting methods in common use in the United States.
The Free & Fair Tabulator tallies digital Cast Vote Records, specified in an open JSON-based format, into an election result. The Tabulator is formally specified in BON and Coq, and is implemented via extraction to Haskell from Coq and in SPARK.
Some formalized developments of ranked-choice and instant-runoff voting schemes in Coq
Artifacts Relating to Risk Limiting Audits
A rigorously engineered tabulator for the Danish list-based voting scheme.
Votail is a rigorously engineered, formally verified tabulator for Irish PR-STV elections.
KOA is a remote voting system experiment conducted in the Netherlands circa 2004.
The BON IDE for Eclipse.
An Eclipse plugin that supports semantic properties and their refinements between BON specification and Java implementation.
A parser and typechecker for the textual Business Object Notation (BON).
A consistency (refinement) checker for BON, the Business Object Notation (BON), and JML-annotated Java.
Eclipse plugin that automatically grades a Java software project based upon guidelines specified by an instructor.
Command Line OPtionS parser and documentation generator for Java.
The DemTech verified elections logging system.
The DemTech Kiosk Voting System.
Textual informal BON editor which features seamless integration between textual informal BON and Java
The Digital Voter List system—experiments in electronic poll books for Denmark.
The TEVS GUI library is a dependency of OpenCount.