Popular repositories Loading

1. wb wbPublic

   Forked from Jegp/DemTech-openwrt-setup

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

   Shell 3

2. papers papersPublic

   Research papers written by/with DemTech personnel.

   Emacs Lisp 1 1

3. crypto-agda crypto-agdaPublic

   Forked from crypto-agda/crypto-agda

4. agda-nplib agda-nplibPublic

   Forked from crypto-agda/agda-nplib

   Proposed extensions to Agda standard's library

5. demtech.github.com demtech.github.comPublic

   The DemTech website.

   CSS

6. votetec votetecPublic

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

   Java