Explore projects

This is the new 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

Skeleton files for the True Concurrency Tutorial: Concurrent Sieve of Eratosthenes

Pull arc examples and convert them to first order logic, prolog syntax

Coursework for Mathematics for Machine Learning (70015) at Imperial College London

Provided files for the 1920 Pintos lab exercise