Popular repositories Loading

1. wallabag-kindle wallabag-kindle Public

   Python 17

2. qubes-xmonad qubes-xmonad Public

   Forked from xmonad/xmonad

   Fork of xmonad to provide better integration with QubesOS

   Haskell 9 1

3. bibfetch bibfetch Public

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

   Perl 7

4. tud-mensa tud-mensa Public

   Small program to display the TU Darmstadt cafeteria menu on the command line

   Haskell 5 1

5. spacemacs-boogie-friends spacemacs-boogie-friends Public

   Spacemacs layer for working with Dafny, Boogie, and Z3

   Emacs Lisp 4

6. rmv-query rmv-query Public

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

   Haskell 2