Explore projects

Provided files for the 1920 Pintos lab exercise

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.

provided files for the WACC project (in C)

Project for Software Engineering for ML Systems Course @Imperial College London

Provided files for the 1920 Pintos lab exercise

Provided files for the 1920 Pintos lab exercise

Image statistics taken directly from the juicer dump files.

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

Provided files for the 1920 Pintos lab exercise

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

Written in C, this is a tiny compiler for a miniscule Haskell subset (essentially, Int -> Int functions) to Dafny translator. So many C tools (Yacc, Lex, my datadec, generic modules etc) used, only about 20% of the code is human-written.

Code and Results for the poster submitted at Sensys 2018

Skeleton files for the C++ Concurrent Sieve of Eratosthenes tutorial exercise