things I've built
Projects
Grenade: A Dependently-Typed Neural Network Library github ↗
A neural network library written in Haskell. Networks are defined at the type level, so bugs such as shape mismatches and unexpected coercions are caught at compile time.
Imperial College Radio website ↗
I was IT Manager and webmaster for two years — primarily responsible for developing the new website and keeping the stream running with all the necessary analytics.