Pinned Repositories
agda-nplib
Proposed extensions to Agda standard's library
crypto-agda
demtech.github.com
The DemTech website.
evalimine
e-hääletamise tarkvara
papers
Research papers written by/with DemTech personnel.
RLA
Risk Limiting Audits for Denmark
votetec
A simple voting system with trace-emitting computations, written in Java and integrated with Twelf.
wb
Setup-scripts for DemTech's logging system for queue sizes at polling places.
zeus
Zeus server
DemTech: Trustworthy Democratic Technology's Repositories
demtech/wb
Setup-scripts for DemTech's logging system for queue sizes at polling places.
demtech/papers
Research papers written by/with DemTech personnel.
demtech/agda-nplib
Proposed extensions to Agda standard's library
demtech/crypto-agda
demtech/demtech.github.com
The DemTech website.
demtech/evalimine
e-hääletamise tarkvara
demtech/RLA
Risk Limiting Audits for Denmark
demtech/votetec
A simple voting system with trace-emitting computations, written in Java and integrated with Twelf.
demtech/zeus
Zeus server