Repositories list

• wb

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

  Shell

  •1•3•0•0•Updated Jun 17, 2015Jun 17, 2015

• RLA

  Public
  Risk Limiting Audits for Denmark

  0•0•0•0•Updated May 30, 2014May 30, 2014

• evalimine

  Public
  e-hääletamise tarkvara

  Python

  •

  Other

  •104•0•0•0•Updated Mar 7, 2014Mar 7, 2014

• demtech.github.com

  Public
  The DemTech website.

  CSS

  •0•0•0•0•Updated Jan 9, 2014Jan 9, 2014

• zeus

  Public
  Zeus server

  Python

  •344•0•0•0•Updated Aug 21, 2013Aug 21, 2013

• votetec

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

  Java

  •0•0•0•0•Updated May 2, 2013May 2, 2013

• papers

  Public
  Research papers written by/with DemTech personnel.

  Emacs Lisp

  •1•1•0•0•Updated Mar 25, 2013Mar 25, 2013

• crypto-agda

  Public
  6•0•0•0•Updated Feb 11, 2013Feb 11, 2013

• agda-nplib

  Public
  Proposed extensions to Agda standard's library

  3•0•0•0•Updated Feb 8, 2013Feb 8, 2013