Explore projects

Provided files for the 1920 Pintos lab exercise

A parser combinator library for Rust

Provided files for the 1920 Pintos lab exercise

Provided files for the 1920 Pintos lab exercise

A replication of the question from the Architecture exam.

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

Backup repository for https://github.com/resource-reasoning/JS_Parser

Provided files for the 1920 Pintos lab exercise

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

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

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