antalsz

choose-your-own-derivative

Code for the submitted TyDe '16 extended abstract and C∘mp∘se '17 talk "`choose` Your Own Derivative"

draft

A LaTeX package for commands that exist only when a document is in draft mode

coq-utils

Some basic libraries for Coq.

tardis

haskell-mode

Emacs mode for Haskell

zsh

A mirror of the zsh repository at http://zsh.sourceforge.net/Arc/git.html (you probably want to "git remote add vendor git://zsh.git.sf.net/gitroot/zsh/zsh" for pulling updates from the real vendor repository)