FreeAndFair/Qubie FreeAndFair/Qubie

  • Stars
    star
    17
  • Rank 1,257,181 (Top 25 %)
  • Language
    C
  • License
    Other
  • Created over 8 years ago
  • Updated over 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
FreeAndFair/Qubie
github

FreeAndFair

Reviews

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

Repository Details

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

More Repositories

1

STAR-Vote

STAR-Vote: A Secure, Transparent, Auditable, and Reliable Voting System.
Haskell
29
star
2

ColoradoRLA

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

evoting-systems

Archive of existing evoting systems created by others.
HTML
19
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