Explore projects

Provided files for the 1920 Pintos lab exercise

Provided files for the 1920 Pintos lab exercise

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

Repository containing the implementations and data of the PhD thesis of Davide Cavezza

Image statistics taken directly from the juicer dump files.

Code and Results for the poster submitted at Sensys 2018

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

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.

Implements the long awaited client-side of datadec: given datadec types like "expr = num(int n) or ...", let us write:

%when expr e is num(n) { return n; }