dschoepe/vt
Command-line västtrafik client
Developer Profile
dschoepe
Discovered public repositories for dschoepe in the GitHub catalog.
dschoepe/fmis-agda
Agda implementations of some security concepts taught here: http://www.mais.informatik.tu-darmstadt.de/fmis2012
dschoepe/bibfetch
Scripts for fetching BibTeX entries (from Google Scholar and DBLP)
dschoepe/pdfPres
Dual head PDF presenter: Current slide with context + current slide in fullscreen (Linux, BSD).
dschoepe/newsbeuter
Newsbeuter is an open-source RSS/Atom feed reader for text terminals.
dschoepe/dmix
Fork of pmix that allows streaming (and now much more)
dschoepe/ghc-mod
Happy Haskell programming on Emacs
dschoepe/tud-mensa
Small program to display the TU Darmstadt cafeteria menu on the command line
dschoepe/HsPurple
libpurple bindings for Haskell
dschoepe/rmv-query
Command-line tool for querying the route information of the German transport association RMV