Free & Fair

Open source, high assurance election technology for all.

Portland, OR

Pinned Repositories

ColoradoRLA
Software to facilitate risk-limiting audits at the state level, developed for the state of Colorado.
Language:Java21 10 5028
dvl
The Digital Voter List system—experiments in electronic poll books for Denmark.
Language:C#6 9 612
evoting-systems
Archive of existing evoting systems created by others.
Language:HTML19 12 35
formal-rcv
Some formalized developments of ranked-choice and instant-runoff voting schemes in Coq
Language:Coq3 18 00
OpenCount
OpenCount vote counting application
Language:Python7 7 05
OpenRLA
Free & Fair's open source RLA support software.
Language:Coq4 6 673
Qubie
Qubie is a passive, privacy-preserving data gathering system that helps election officials better understand the flow of voters at their polling places.
Language:C16 10 25
STAR-Vote
STAR-Vote: A Secure, Transparent, Auditable, and Reliable Voting System.
Language:Haskell29 10 06
Tabulator
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.
Language:Coq3 5 00
Transparency
Documents Free & Fair has generated, including responses to RFPs, RFIs, and other opportunities.
2 7 01

FreeAndFair/dvl
The Digital Voter List system—experiments in electronic poll books for Denmark.
Language:C#6 9 612
FreeAndFair/v4
The DemTech Kiosk Voting System.
Language:Assembly3 9 20
FreeAndFair/AutoGrader
Eclipse plugin that automatically grades a Java software project based upon guidelines specified by an instructor.
Language:Java1 19 01
FreeAndFair/CLOPS
Command Line OPtionS parser and documentation generator for Java.
Language:Java1 20 01
FreeAndFair/logging
The DemTech verified elections logging system.
Language:Java1 9 0
FreeAndFair/Beetlz
A consistency (refinement) checker for BON, the Business Object Notation (BON), and JML-annotated Java.
Language:Java19 0
FreeAndFair/elections-data
Contains the raw CSV data and analysis thereof for elections around the world.
5 0
FreeAndFair/iBONText
Textual informal BON editor which features seamless integration between textual informal BON and Java
Language:Java
FreeAndFair/KOA-original
The Kiezen op Afstand (KOA) remote voting system, developed by LogicaCMG on behalf of the Dutch government in 2003-2004.
Language:Java5 02
FreeAndFair/Specifications
A repository containing specifications common to our various R&D projects.
Language:TeX4 0
FreeAndFair/tevs
The TEVS library is a dependency of OpenCount.
Language:Python4 0
FreeAndFair/tevs.gui
The TEVS GUI library is a dependency of OpenCount.
Language:Python