Jamie Townsend's repositories
agda-prelude
Programming library for Agda
Language:AgdaMIT000
learning-to-learn
Learning to Learn in TensorFlow
plfa.github.io
An introduction to programming language theory in Agda
tensorflow
Computation using data flow graphs for scalable machine learning
twenty-fifty
The old web front end to the DECC 2050 Pathways Calculator Excel Model. The new code is at https://github.com/decc/twenty-fifty-new-look. See the old code working at: http://old-interface.2050.org.uk
ucl-latex-thesis-templates
UCL LaTeX thesis templates.