Seattle

Daniel Schoepe

Expert
@dschoepe

wallabag-kindle. Python

20

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

7

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

5

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

4

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

3

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

2

vt. Command-line västtrafik client

1

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

1
8
Apply