demtech/RLA
Risk Limiting Audits for Denmark
Developer Profile
demtech
Discovered public repositories for demtech in the GitHub catalog.
demtech/zeus
Zeus server
demtech/evalimine
e-hääletamise tarkvara
demtech/votetec
A simple voting system with trace-emitting computations, written in Java and integrated with Twelf.
demtech/papers
Research papers written by/with DemTech personnel.
demtech/demtech.github.com
The DemTech website.
demtech/agda-nplib
Proposed extensions to Agda standard's library
demtech/crypto-agda
Public repository.