Explore projects

temporal project where I do my unassessed haskell exercises

A collection of C ADTs (hash:str->str; longhash:str->long; intlist: list(int); strlist: list(str); set:str->boolean)

A Specification-Close Reference Interpreter for ECMAScript. Backup/departmental testing repository for https://github.com/jscert/jsexplain

Coursework material for Machine Learning for Imaging

Implements the long awaited client-side of datadec: given datadec types like "expr = num(int n) or ...", let us write:

%when expr e is num(n) { return n; }

MetamorphicCL, a compiler testing tool for OpenCL

First order logic parser and evaluator in Haskell

Thorough test cases for the Imperial year 2 Prolog fruit matching coursework.

A Python-based Flask template to get you started!

Puppet module deploying an XNAT installation