Explore projects

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.

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

Code and Results for the poster submitted at Sensys 2018

Image statistics taken directly from the juicer dump files.

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

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

Provided files for the 1920 Pintos lab exercise

Provided files for the 1920 Pintos lab exercise