Explore projects

ANSI C data declaration module constructor: Datadec transforms a series of Haskell style recursive (or inductive) datatype declarations into a C module to implement them.

Continuous repository synchroniser between GitHub and GitLab

provided files for the WACC project (in C)

This project contains a daemon (command-listener) which runs a specific hard wired command with additional arguments passed to it from a client passing the stdout of that command back to the client, and a suitable command-client to send it.

This project contains a daemon (command-listener) which runs a specific hard wired command with additional arguments passed to it from a client passing the stdout of that command back to the client, and a suitable command-client to send it.

Thumbnail generator from NIfTI files

Userscripts to help ease the pain of CaTE

Implementation of the artistic style transfer paper by Gatys et al. [http://arxiv.org/abs/1508.06576] using Lasagne.

Live at: https://scientia.doc.ic.ac.uk

IC hack 2020 project: Supermarket microservices mobile app with food traceability, purchasing, and other useful features.

This is the scala.js/scala implementation of the WACC Reference Compiler website and CLI, which is open sourced to serve as an example.

The site is live at https://wacc-vm.doc.ic.ac.uk

The latest CLI can be downloaded from https://wacc-vm.doc.ic.ac.uk/wacc-reference-cli.jar