John Fremlin's starred repositories
phabricator
Effective June 1, 2021: Phabricator is no longer actively maintained.
teepeedee2
Fast webserver for dynamic pages
dysfunkycom
ICFP 2009 attempt
BomberAgent
Android game -- throw your phone entertainment
fumbnailer
Better video thumbnails through machine learning (face detection, video energy estimation)
routing_tricks
Just a git repo for Jamis Buck's routing_tricks plugin, which I've found very useful
phabricator
An early release of Facebook's development tools.