Repositories list

• colorado-rla

  Public
  Colorado Risk-Limiting Audit (RLA) software – developed to support risk-limiting post-election audits of election outcomes.

  Java

  •

  Other

  •6•0•34•7•Updated Dec 24, 2024Dec 24, 2024

• Policies-Procedures-Dev-Instructions

  Public
  General instructions on how to participate in a Democracy Developers Open source repo

  0•0•0•0•Updated Nov 24, 2024Nov 24, 2024

• AuditVisualizer

  Public
  TypeScript

  •

  GNU Affero General Public License v3.0

  •7•3•0•1•Updated Nov 5, 2024Nov 5, 2024

• raire-service

  Public
  Service that forms a front-end to raire-java and is called from colorado-rla

  Java

  •

  GNU General Public License v3.0

  •1•2•8•0•Updated Nov 4, 2024Nov 4, 2024

• Videos-And-Large-Files

  Public
  Video demos and other example outputs

  0•0•0•0•Updated Sep 12, 2024Sep 12, 2024

• Utilities-and-experiments

  Public
  Useful utils and random experiments peripherally related to colorado-rla but not intended to be part of the final code.

  Java

  •

  GNU General Public License v3.0

  •0•0•0•0•Updated Sep 10, 2024Sep 10, 2024

• Colorado-irv-rla-educational-materials

  Public
  Slides, design plans and explanations of how it works

  GNU General Public License v3.0

  •0•1•1•0•Updated Jun 30, 2024Jun 30, 2024

• raire-java

  Public
  Java implementation of RAIRE library

  Java

  •

  GNU General Public License v3.0

  •0•0•0•1•Updated May 23, 2024May 23, 2024

• raire-rs

  Public
  Rust version of RAIRE.

  Rust

  •3•3•0•0•Updated May 2, 2024May 2, 2024

• SHANGRLA

  Public
  Sets of Half-Average Nulls Generate Risk-Limiting Audits: tools for assertion-based risk-limiting election audits

  Jupyter Notebook

  •

  Other

  •13•0•0•0•Updated Sep 19, 2023Sep 19, 2023