Stephen Dolan's starred repositories
purecss-francine
HTML/CSS drawing in the style of an 18th-century oil painting. Hand-coded entirely in HTML & CSS.
geo-bootstrap
A timeless Twitter Bootstrap theme built for the modern web.
agda-ocaml
OCaml backend for Agda
pathfinder
pythonic filesystem library
ppx_deriving_crowbar
a ppx_deriving plugin for crowbar generators
DD-WRT-Scripts
Misc scripts for DD-WRT (QoS, etc)
python-monkeypatch
Bringing Ruby best practices to Python