01
Koka Compiler
Implementation of a compiler for a subset of the Koka programming language, written in OCaml.
PROJECTS
A selection of programming projects in compilers, systems and computer architecture.
Implementation of a compiler for a subset of the Koka programming language, written in OCaml.
Implementation of core Git functionality in OCaml, exploring content-addressable storage, repository structure and version-control mechanisms.
Design and simulation of a microprocessor from low-level logical components, together with tools for executing and simulating netlist programs.