DemTech: Trustworthy Democratic Technology

DemTech: Trustworthy Democratic Technology's repositories

Setup-scripts for DemTech's logging system for queue sizes at polling places.

Language:Shell3 140

Research papers written by/with DemTech personnel.

Language:Emacs Lisp1 150

Proposed extensions to Agda standard's library

The DemTech website.

Language:CSS0100

e-hääletamise tarkvara

Language:PythonNOASSERTION0120

Risk Limiting Audits for Denmark

A simple voting system with trace-emitting computations, written in Java and integrated with Twelf.

Language:Java0120

Zeus server

Language:Python0120