tbelaire/HoTT
Homotopy type theory
Developer Profile
tbelaire
Discovered public repositories for tbelaire in the GitHub catalog.
tbelaire/closure
Depth- and breadth-first set closures
tbelaire/contexFreeParsing
(python) parsing natural language using CKY CFG
tbelaire/Minecraft
Simple Minecraft-inspired program using Python and Pyglet
tbelaire/webgl-lessons
A series of lessons in WebGL
tbelaire/lecture-notes
Notes I've taken for courses at the University of Waterloo, typeset with LaTeX.
tbelaire/racket
The Racket repository
tbelaire/gh-pages-template
fork this to get a repo with only a gh-pages branch that is easy to edit
tbelaire/Minecraft-API
Minecraft API development
tbelaire/cabal
Official upstream development repository for Cabal and cabal-install
tbelaire/homebrew
The missing package manager for OS X.
tbelaire/khan-exercises
A framework for building exercises to work with Khan Academy.
tbelaire/nasa-apod-desktop
Automatically downloads and sets the NASA picture of the day (APOD) as your desktop in OSX.
tbelaire/dotfiles
My dotfiles
tbelaire/skiing
a clojure combinator zoo