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
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
v4
The DemTech Kiosk Voting System.
Language:Assembly3 9 20

Free & Fair's Repositories

FreeAndFair/STAR-Vote
STAR-Vote: A Secure, Transparent, Auditable, and Reliable Voting System.
Language:Haskell29 10 06
FreeAndFair/ColoradoRLA
Software to facilitate risk-limiting audits at the state level, developed for the state of Colorado.
Language:Java21 10 5028
FreeAndFair/evoting-systems
Archive of existing evoting systems created by others.
Language:HTML19 12 35
FreeAndFair/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
FreeAndFair/OpenCount
OpenCount vote counting application
Language:Python7 7 05
FreeAndFair/OpenRLA
Free & Fair's open source RLA support software.
Language:Coq4 6 673
FreeAndFair/formal-rcv
Some formalized developments of ranked-choice and instant-runoff voting schemes in Coq
Language:Coq3 18 00
FreeAndFair/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
FreeAndFair/JMLUnitNG
An automated unit test framework for JML-annotated Java projects.
Language:Java2 5 12
FreeAndFair/Transparency
Documents Free & Fair has generated, including responses to RFPs, RFIs, and other opportunities.
2 7 01
FreeAndFair/ElectionGlossary
Glossary of election terms including those used in the VVSG.
1 4 01
FreeAndFair/ElectionGuard-SDK-Specification
This repository contains a specification describing the ElectionGuard software development kit, including cryptographic protocols and implementation decisions, as well as an overview of voting system components and functionality.
Language:JavaScript1 2 0
FreeAndFair/KOA
KOA is a remote voting system experiment conducted in the Netherlands circa 2004.
Language:Java1 17 0
FreeAndFair/NLP
Natural Language Processing tool used to build domain models
Language:TeX11
FreeAndFair/RLA
Artifacts Relating to Risk Limiting Audits
Language:Coq1 18 01
FreeAndFair/sysmlv2-jupyter-docker
Create docker image for running SysMLv2 with Jupyter
Language:Jupyter Notebook1
FreeAndFair/Votail
Votail is a rigorously engineered, formally verified tabulator for Irish PR-STV elections.
Language:HTML1 12 03
FreeAndFair/ElectionSecurity101
A web-based demonstration that illustrates the relative security of various voting methods in common use in the United States.
Language:Java0 4 00
FreeAndFair/Bibliography
A repository containing books, papers, reports, and standards relevant to our R&D.
5 0
FreeAndFair/BON
BONc is a parser and typechecker for the Business Object Notation (BON).
Language:Yacc2 0
FreeAndFair/BON_IDE
The BON IDE for Eclipse.
Language:Java19 0
FreeAndFair/BONSemanticPropertiesPlugin
An Eclipse plugin that supports semantic properties and their refinements between BON specification and Java implementation.
Language:Java19 0
FreeAndFair/Cryptographic-Models
Formal models of cryptography.
FreeAndFair/DIVS
A rigorously engineered tabulator for the Danish list-based voting scheme.
Language:Java11 0
FreeAndFair/election-analysis
Various kinds of analysis on raw election data.
Language:R4 0
FreeAndFair/electionguard
ElectionGuard is a set of open source software components that can be used to create and publish end to end veriable elections as well create a publishable artifact for ballot comparison audits.
2 0
FreeAndFair/electionguard-c
This repository implements the ElectionGuard API using C. It includes all major functions of the ElectionGuard SDK, including key ceremony, ballot encryption, encrypted ballot tally, and partial decryptions for knowledge proofs of trustees.
Language:C2 0
FreeAndFair/electionguard-verifier
The ElectionGuard SDK Reference Verifier enables the verification of election ballots, tallies, and proofs generated by the ElectionGuard SDK
Language:Rust2 0
FreeAndFair/eRAISE
An Eclipse based Development Environment for the RAISE formal method.
Language:TeX6 01
FreeAndFair/tamarin-prover
Main source code repository of the Tamarin prover for security protocol verification.