dschoepe/vt dschoepe/vt

  • Stars
    star
    1
  • Language
    Python
  • License
    GNU General Publi...
  • Created over 10 years ago
  • Updated almost 9 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
dschoepe/vt
github

dschoepe

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Command-line västtrafik client

More Repositories

1

wallabag-kindle

Python
17
star
2

bibfetch

Scripts for fetching BibTeX entries (from Google Scholar and DBLP)
Perl
7
star
3

tud-mensa

Small program to display the TU Darmstadt cafeteria menu on the command line
Haskell
5
star
4

spacemacs-boogie-friends

Spacemacs layer for working with Dafny, Boogie, and Z3
Emacs Lisp
4
star
5

rmv-query

Command-line tool for querying the route information of the German transport association RMV
Haskell
2
star
6

notmuch-snooze

Support for snoozing messages in the notmuch mail client
Emacs Lisp
2
star
7

fmis-agda

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