Pinned Repositories
bibfetch
Scripts for fetching BibTeX entries (from Google Scholar and DBLP)
dmix
Fork of pmix that allows streaming (and now much more)
fmis-agda
Agda implementations of some security concepts taught here: http://www.mais.informatik.tu-darmstadt.de/fmis2012
ghc-mod
Happy Haskell programming on Emacs
notmuch-snooze
Support for snoozing messages in the notmuch mail client
qubes-xmonad
Fork of xmonad to provide better integration with QubesOS
rmv-query
Command-line tool for querying the route information of the German transport association RMV
spacemacs-boogie-friends
Spacemacs layer for working with Dafny, Boogie, and Z3
tud-mensa
Small program to display the TU Darmstadt cafeteria menu on the command line
wallabag-kindle
dschoepe's Repositories
dschoepe/wallabag-kindle
dschoepe/qubes-xmonad
Fork of xmonad to provide better integration with QubesOS
dschoepe/bibfetch
Scripts for fetching BibTeX entries (from Google Scholar and DBLP)
dschoepe/tud-mensa
Small program to display the TU Darmstadt cafeteria menu on the command line
dschoepe/spacemacs-boogie-friends
Spacemacs layer for working with Dafny, Boogie, and Z3
dschoepe/notmuch-snooze
Support for snoozing messages in the notmuch mail client
dschoepe/rmv-query
Command-line tool for querying the route information of the German transport association RMV
dschoepe/dmix
Fork of pmix that allows streaming (and now much more)
dschoepe/fmis-agda
Agda implementations of some security concepts taught here: http://www.mais.informatik.tu-darmstadt.de/fmis2012
dschoepe/ghc-mod
Happy Haskell programming on Emacs
dschoepe/newsbeuter
Newsbeuter is an open-source RSS/Atom feed reader for text terminals.
dschoepe/pdfPres
Dual head PDF presenter: Current slide with context + current slide in fullscreen (Linux, BSD).
dschoepe/qubes-xmonad-contrib
Fork of xmonad-contrib with QubesOS-specific modifications
dschoepe/vt
Command-line västtrafik client
dschoepe/ChalmersSecurity
Chalmers Security Group Website
dschoepe/coq-course
Coq course at Chalmers CSE
dschoepe/dafny
Dafny is a verification-aware programming language
dschoepe/deeds
Deeds is an Extensible Event Delivery System
dschoepe/docker-hs
A Haskell library for the Docker Engine API
dschoepe/evil-org-mode
Supplemental evil-mode keybindings to emacs org-mode
dschoepe/ftr-site-config
Full-Text RSS site config files - since version 3.2, the update tool can automatically grab the latest set from this repository.
dschoepe/helm-notmuch
Search emails with Notmuch and Helm
dschoepe/ide-vscode
VSCode IDE Integration for Dafny
dschoepe/infer
A static analyzer for Java, C, C++, and Objective-C
dschoepe/intero
Complete interactive development program for Haskell
dschoepe/lambdabot
A friendly IRC bot and apprentice coder, written in Haskell.
dschoepe/notmuch-lazysync
Synchronize notmuch tags between machines
dschoepe/souffle-lang.github.io
Soufflé
dschoepe/spacemacs
A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!
dschoepe/wallabag
wallabag is a self hostable application for saving web pages.