demtech/RLA
Risk Limiting Audits for Denmark
Research papers written by/with DemTech personnel.
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
Risk Limiting Audits for Denmark
Zeus server
e-hääletamise tarkvara
A simple voting system with trace-emitting computations, written in Java and integrated with Twelf.