Daniel Schoepe

wallabag-kindle. Python

bibfetch. Scripts for fetching BibTeX entries (from Google Scholar and DBLP)

tud-mensa. Small program to display the TU Darmstadt cafeteria menu on the command line

spacemacs-boogie-friends. Spacemacs layer for working with Dafny, Boogie, and Z3

notmuch-snooze. Support for snoozing messages in the notmuch mail client

rmv-query. Command-line tool for querying the route information of the German transport association RMV

vt. Command-line västtrafik client

fmis-agda. Agda implementations of some security concepts taught here: http://www.mais.informatik.tu-darmstadt.de/fmis2012