James Cook's repositories
dependent-graph
Experimental dependently-typed graph data structure; each node has an associated type, and each edge label's type depends on those of the nodes it connects
ScrapBukkit
Miscellaneous "default" commands for Bukkit
vector-rope
Simple ropes as finger-trees of vectors, implementing the generic Vector interfaces
categories
Categories parametrized by morphism equality, in Agda
HomeBukkit
Provides a home system for Bukkit
category-extras
category-theoretic goodness for Haskell