Philipp G. Haselwarter's repositories
Language:HTML000
martin-lof
papers of Per Martin Löf
Language:TeX000
hol-light
Automatically exported from code.google.com/p/hol-light
Language:Standard MLNOASSERTION000
unofficial-menhir
Menhir parsing generator (unofficial personal repository)
Language:OCamlNOASSERTION000
multiple-cursors.el
Multiple cursors for emacs.
Language:Emacs Lisp000
sedlex
An OCaml lexer generator for Unicode
Language:OCamlMIT000
000
cartmell-thesis
HoTT group project to TeXify Cartmell's PhD thesis “Generalised Algebraic Theories and Contextual Categories”
Language:TeX000
k-9
K-9 Mail, An advanced email client for Android
NOASSERTION000
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.
Language:OCamlLGPL-2.1000
mosh
Mobile Shell
Language:C++GPL-3.0000
emacs-calfw
A calendar framework for Emacs
bbdb-vcard
vCard Import and Export for The Insidious Big Brother Database (BBDB)