James Cranch

octrees. a Python implementation of the octree data structure and supporting algorithms

tophat. Haskell

agda-stuff. Miscellaneous Agda code

Trainset. Tools for using the UK train data available at data.atoc.org (Python)

idris-decord. Idris

extrafun. Idris

ModernMapMerge. an attempt at safe, generic map merging functionality in Haskell