ColoradoRLA

Build Status

The ColoradoRLA system is software to facilitate risk-limiting audits at the state level, developed for Colorado's Department of State in July and August of 2017.

Installation and Use

A document describing how to download, install, and use this system is found in the docs directory.

System Documentation

Documentation about this project and the Colorado RLA system includes:

Contributors

  • Joey Dodds (Principled Computer Scientist) RLA core computations implementation
  • Joseph Kiniry (Principled CEO and Chief Scientist) Project Head, author of formal specification, design and implementation of ASMs and 2FA
  • Michael Kiniry (Principled Documentarian) User-facing documentation
  • Neal McBurnett (Principled Elections Auditing Expert and Computer Scientist) RLA expert, design and implementation of data export application and automatic server test infrastructure
  • Morgan Miller (Principled Usability Specialist) UX expert, conducted interviews with CDOS and County personnel, initial UI design
  • Joe Ranweiler (Principled Computer Scientist) Principal author of RLA Tool Client
  • Stephanie Singer (Principled Elections Expert and Data Scientist) Query design for data export application, user-facing documentation
  • Daniel Zimmerman (Principled Computer Scientist) Principal author of RLA Tool Server

More information about our team members is available.

Coloradorla

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

Coloradorla Info

⭐ Stars 20
🔗 Source Code github.com
🕒 Last Update 2 months ago
🕒 Created 5 years ago
🐞 Open Issues 93
➗ Star-Issue Ratio 0
😎 Author FreeAndFair