PROJECTS

Selected projects.

A selection of programming projects in compilers, systems and computer architecture.

01

Koka Compiler

Implementation of a compiler for a subset of the Koka programming language, written in OCaml.

OCaml Compilers Programming Languages
02

Git Implementation

Implementation of core Git functionality in OCaml, exploring content-addressable storage, repository structure and version-control mechanisms.

OCaml Systems Version Control
03

Microprocessor & Netlist Simulator

Design and simulation of a microprocessor from low-level logical components, together with tools for executing and simulating netlist programs.

Computer Architecture Simulation Low-level Systems