ElectionAuditWareRepo

Repository for Google Group ElectionAuditWare, re post-election audit software and tools.

See Google Group: https://groups.google.com/forum/#!forum/electionauditware

Existing related software

General purpose auditing software

• Arlo: open-source software for Risk-Limiting Audits in the US, via VotingWorks. Should eventually handle most auditing methods and best practices.

• FreeAndFair/ColoradoRLA: Software to facilitate risk-limiting audits at the state level, developed for the state of Colorado. - as used in Colorado 2017 and 2018 Primaray, and Orange County 2018, but see updated version at democracyworks:

  • democracyworks/ColoradoRLA: Software to facilitate risk-limiting audits at the state level, developed for the state of Colorado. - as used in Colorado 2018, 2019 General election, to do multi-county audits and improve many other aspects.

• Tools for Comparison Risk-Limiting Election Audits - Philip Stark's online web app

• Tools for Ballot-Polling Risk-Limiting Election Audits - Philip Stark's online web app

• nealmcb/ocrla-2018p: Orange County California, ballot-polling risk-limiting audit of 2018 primary - working around limitations of ColoradoRLA to do ballot-polling audits.

• ElectionAuditWare/audit-conductor: Conduct a risk-limiting election tabulation audit, integrating various related tools - for Rhode Island pilot in 2019

• agupta231/RIWAVE: Rhode Island RLA project

• nealmcb/audit_cvrs: audit_cvrs helps auditors manage a ballot-level risk-limiting post-election audit - Django-based 2013/2014 code for observing early pilots in Colorado

• FreeAndFair/OpenRLA: Free & Fair's open source RLA support software. - a 2016 Free & Fair prototype for ballot polling audits, before the ColoradoRLA contract.

• nealmcb/electionaudits: Post-election risk-limiting audit implementation, for batch comparison risk-limiting audits of ballot tabulation outcomes (and on github - used in Boulder County, Colorado, 2008 and 2010

Choosing random samples of precincts or ballots to audit

• ron-rivest/consistent_sampler: Routine for providing 'consistent sampling' (intended for use in election audits) - allows efficient sampling from multiple overlapping districts (statewide, countywide, and arbitrary districts) or at multiple points in time.

• Pseudo-Random Number Generator using SHA-256 - web app for Rivest's sampler algorithm

• nealmcb/rivest-sampler-tests: Test cases for Ronald L. Rivest's pseudo-random sampling algorithm - Rivest's classic "sampler" Python implementation of the algorithm underlying many risk-limiting audits

  • and nealmcb/rivest-sampler-tests at python-test

• pbstark/BernoulliBallotPolling: Code for Bernoulli Ballot Polling paper: geometric_skipping, SPRT, and state data for 2016 Presidential contest

• Dice Binning Calculator - Joeseph Lorenzo Hall's web app for picking precincts to audit directly via dice rolls

Lower-level Audit calculations

• SHANGRLA: Sets of Half-Average Nulls Generate Risk-Limiting Audits - a very general method of auditing a variety of election types, by expressing an apparent election outcome as a series of assertions. Works for plurality, IRV, Borda etc.

• audit-irv-cp for generating and running ballot-level comparison audits for IRV elections - Used in conjunction with SHANGRLA

• rlacalc: Online Calculator for Risk-Limiting Audit Sample Sizes - provides ballot-level comparison, ballot-polling and other calculations

  • source code at audit_cvrs/rlacalc.py - with general-purpose Python library

• pbstark/DKDHondt14: Risk-limiting audit code for Proportional Representation via Highest Averages - D'Hondt etc. - Stark and Teague, 2015. Handles many European elections. Probably a good starting point for auditing delegate allocation in US presidential primary elections, which can vary by state, but which tend to use largest remainder methods

• ron-rivest/2018-bptool Bayesian ballot polling calculations

• ron-rivest/2018-bctool Bayesian ballot-level comparison calculations

• ron-rivest/2017-bayes-audit: Repository for paper "Bayesian Tabulation Audits Explained and Extended" with extensive simulations

• ron-rivest/2016-aus-senate-audit a Bayesian approach to support work on auditing the 2016 Australian Senate elections, which use the Single transferable vote method, one of many forms of ranked choice voting.

• nealmcb/brla: Bayesian Risk-Limiting Audits analysis code base on Risk-Limiting Bayesian Polling Audits for Two Candidate Elections by Poorvi Vora, along with exploratory work at gwexploratoryaudits/brla_explore: exploratory code related to bayesian rlas

• CORLA18: Risk-Limiting Audits by Stratified Union-Intersection Tests of Elections (SUITE) - Ottoboni / Stark code for combining ballot-polling and ballot-level comparison data, for WI pilot audit

• pr_voting_methods: Proportional Representation Voting Methods, Data, and Auditing

Election data standards, repositories and analyses

• NIST SP 1500-100 election results reporting standard

• usnistgov/CastVoteRecords: Common data format specification for cast vote records

• epaulson/PyCastVoteRecords: Basic Python library to create a NIST Common Data Formats file for cast vote records

• Audit Data Formats for transparency, replication: The format of data produced by ColoradoRLA's rla_export tool for the Public RLA Oversight Protocol.

• nealmcb/corla-2018-11: Analysis of Colorado risk-limiting audit for 2018-11 (general election)

• nealmcb/electionaudits-data: Data related to election auditing, including post-election risk-limiting audits of ballot tabulation outcomes

• OpenElections: Certified election results. For everyone.

• openelections/specs: Specs for OpenElections Data

• openelections/clarify: Discover and parse results for jurisdictions that use Clarity-based election systems.

  • and perhaps nealmcb/clarify at audit

• SOBA: Secrecy-preserving Observable Ballot-level Audit - arxiv 1105.5803 - would presumably need a modified CVR standard

• GSWarrington/accumulation-chart: Interactive accumulation charts for IRV - a beautiful way to expose many details in IRV results as demonstrated at Accumulation Charts demo