Explore projects

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; }

In LinkedIn's Plain Old C Programming group in , John Coloccia asked about whether "namespaces" would be a good idea for C. He explained that he meant some form of modularity, and I thought I've have a play - this is the result! A module generator!

An attempt to graft some form of C++-style namespaces into C ("C with namespaces: aka C+N") via another simple-minded pre-processor/translator that could be built in a matter of hours.