Proving leftpad correct two-dozen different ways

A library of generic intrusive data structures and algorithms in ANSI C

Turn your two-bit doodles into fine artworks with deep neural networks, generate seamless textures from photos, transfer style from one image to another, perform example-based upscaling, but wait..…

A bibliography of papers related to symbolic execution

Apache Cordova mobile-spec

[DEPRECATED] Apache Cordova Medic

Apache Cordova coho

RDFLib is a Python library for working with RDF, a simple yet powerful language for representing information.

Friendly English-like interface for your command line. Don't remember a command? Ask Betty.

🎉 2048 in your terminal

Download all of the content from the University of Waterloo's Desire2Learn LMS

Don't commit when you're drunk

A CLI for Magic: The Gathering collection and deck management.

http://www.commitlogsfromlastnight.com

Effective June 1, 2021: Phabricator is no longer actively maintained.

aka "Bayesian Methods for Hackers": An introduction to Bayesian methods + probabilistic programming with a computation/understanding-first, mathematics-second point of view. All in pure Python ;)

LaTeX class for writing work reports for the University of Waterloo.

Reference implementation of a Tent server in Ruby

My projects for the Arduino Duemilanove.

Dotfiles

Meteor, the JavaScript App Platform

A Rubik's Cube on which to practise AI algorithms.

UI Automation for OS X

The most popular HTML, CSS, and JavaScript framework for developing responsive, mobile first projects on the web.

Fluent assertions for Java and Android

A simple territory game.

An application to automate basic aspects of Dungeons & Dragons. Also a library of various D&D things.

Dotfiles (mostly vim)

The code behind councilroom.com.