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

A replication of the question from the Architecture exam.

Image statistics taken directly from the juicer dump files.

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

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

Provided files for the 1920 Pintos lab exercise

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