This is your work, valued

James Cranch

Expert
@jcranch
cranch.staff.shef.ac.uk/

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

39

tophat. Haskell

5

agda-stuff. Miscellaneous Agda code

3

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

2

idris-decord. Idris

1

extrafun. Idris

1

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

1