tbelaire

book

A textbook on informal homotopy type theory

CoVim

Collaborative Editing for Vim

macropy

Macros in Python: quasiquotes, case classes, LINQ and more!

vim-multiple-cursors

True Sublime Text style multiple selections for Vim

vim-seek

Seek makes navigating long lines effortless, acting like f but taking two characters.

Graphr

The JavaScript Graphing Calculator

lecture-notes

LaTeX notes for a few courses I've taken at the University of Waterloo.

Simple-Grid

A basic responsive grid for winners. This project is based on Chris Coyier's post on grids http://css-tricks.com/dont-overthink-it-grids/

vimrc

An old plugin-heavy vim config (I do things differently nowadays)

khan-exercises

A framework for building exercises to work with Khan Academy.

nasa-apod-desktop

Automatically downloads and sets the NASA picture of the day (APOD) as your desktop in OSX.

nasa-apod-desktop

Automatically downloads and sets the NASA picture of the day (APOD) as your desktop in Ubuntu.

jq

Command-line JSON processor

dotfiles

My dotfiles

skiing

a clojure combinator zoo

recursive-drawing

coho

Base libraries for C++ development

blog-misc

Miscellaneous files from my blog

ICFP2011

ICFP Programming Contest 2011 repository

AndroidSettlers

An Android game based on a popular economic board game...

khan-exercises

A (deprecated) framework for building exercises to work with Khan Academy.

ar

Arc Runtime Project

skiing

a clojure combinator zoo

vim-session

Extended session management for Vim (:mksession on steroids)

racket

The Racket repository

lex-pass

manipulate a php codebase using haskell to transform the abstract-syntax-tree

rainbow

arc in java