FreeAndFair/STAR-Vote FreeAndFair/STAR-Vote

  • Stars
    star
    29
  • Rank 860,307 (Top 17 %)
  • Language
    Haskell
  • License
    Other
  • Created over 7 years ago
  • Updated over 6 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
FreeAndFair/STAR-Vote
github

FreeAndFair

Reviews

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

Repository Details

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

More Repositories

1

ColoradoRLA

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

evoting-systems

Archive of existing evoting systems created by others.
HTML
19
star
3

Qubie

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

OpenCount

OpenCount vote counting application
Python
6
star
5

dvl

The Digital Voter List system—experiments in electronic poll books for Denmark.
C#
6
star
6

OpenRLA

Free & Fair's open source RLA support software.
Coq
5
star
7

formal-rcv

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

v4

The DemTech Kiosk Voting System.
Assembly
3
star
9

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.
Coq
3
star
10

JMLUnitNG

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

RLA

Artifacts Relating to Risk Limiting Audits
Coq
1
star
12

CLOPS

Command Line OPtionS parser and documentation generator for Java.
Java
1
star
13

logging

The DemTech verified elections logging system.
Java
1
star
14

AutoGrader

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

KOA

KOA is a remote voting system experiment conducted in the Netherlands circa 2004.
Java
1
star
16

Transparency

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

Votail

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