Pinned Loading

1. OpenRLA OpenRLA Public

   Free & Fair's open source RLA support software.

   Coq 4 3

2. Qubie Qubie Public

   Qubie is a passive, privacy-preserving data gathering system that helps election officials better understand the flow of voters at their polling places.

   C 16 5

3. STAR-Vote STAR-Vote Public

   STAR-Vote: A Secure, Transparent, Auditable, and Reliable Voting System.

   Haskell 29 6

4. Tabulator Tabulator Public

   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 …

   Coq 3

5. Transparency Transparency Public

   Documents Free & Fair has generated, including responses to RFPs, RFIs, and other opportunities.

   2 1

6. ColoradoRLA ColoradoRLA Public

   Software to facilitate risk-limiting audits at the state level, developed for the state of Colorado.

   Java 22 8