FreeAndFair/v4

Stars
3
Rank 3,963,521 (Top 79 %)
Language
Assembly
License
Other
Created almost 12 years ago
Updated over 7 years ago

FreeAndFair/v4

FreeAndFair

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

The DemTech Kiosk Voting System.

STAR-Vote

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

ColoradoRLA

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

evoting-systems

Archive of existing evoting systems created by others.

Qubie

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

OpenCount

OpenCount vote counting application

dvl

The Digital Voter List system—experiments in electronic poll books for Denmark.

OpenRLA

Free & Fair's open source RLA support software.

formal-rcv

Some formalized developments of ranked-choice and instant-runoff voting schemes in Coq

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.

JMLUnitNG

An automated unit test framework for JML-annotated Java projects.

RLA

Artifacts Relating to Risk Limiting Audits

CLOPS

Command Line OPtionS parser and documentation generator for Java.

logging

The DemTech verified elections logging system.

AutoGrader

Eclipse plugin that automatically grades a Java software project based upon guidelines specified by an instructor.

KOA

KOA is a remote voting system experiment conducted in the Netherlands circa 2004.

Transparency

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

Votail

Votail is a rigorously engineered, formally verified tabulator for Irish PR-STV elections.