Popular repositories Loading

1. wb wb Public

   Forked from Jegp/DemTech-openwrt-setup

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

   Shell 3

2. papers papers Public

   Research papers written by/with DemTech personnel.

   Emacs Lisp 1 1

3. crypto-agda crypto-agda Public

   Forked from crypto-agda/crypto-agda

4. agda-nplib agda-nplib Public

   Forked from crypto-agda/agda-nplib

   Proposed extensions to Agda standard's library

5. demtech.github.com demtech.github.com Public

   The DemTech website.

   CSS

6. votetec votetec Public

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

   Java