haselwarter/k-9
K-9 Mail, An advanced email client for Android
Developer Profile
haselwarter
Discovered public repositories for haselwarter in the GitHub catalog.
haselwarter/coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
haselwarter/merlin
Context sensitive completion for Ocaml in Vim and Emacs
haselwarter/mosh
Mobile Shell
haselwarter/emacs-calfw
A calendar framework for Emacs
haselwarter/bbdb-vcard
vCard Import and Export for The Insidious Big Brother Database (BBDB)