Explore projects

Provided files for the 1920 Pintos lab exercise

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

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

Image statistics taken directly from the juicer dump files.

A replication of the question from the Architecture exam.

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