FreeAndFair/JMLUnitNG

Stars
2
Language
Java
License
Other
Created over 7 years ago
Updated almost 2 years ago

FreeAndFair/JMLUnitNG

FreeAndFair

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

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

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

v4

The DemTech Kiosk Voting System.

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.

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.