Jon Sherry's repositories
useful_crap
stuff i want under vc
Language:Shell000
IsabellePractice
Personal backup of isabelle practice
Language:Isabelle000
ids
Dissertation
Language:Agda000
blinkenworld
plots krautchan /int/ post locations on a worldmap
Language:JavaScript000