demtech/RLA
Risk Limiting Audits for Denmark
Zeus server
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
e-hääletamise tarkvara
A simple voting system with trace-emitting computations, written in Java and integrated with Twelf.
Research papers written by/with DemTech personnel.