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)

Provided files for the Linkload exercise.

Provided files for the 1920 Pintos lab exercise

Pancake numbers are an obscure number theory sequence, defined as:

pancake(n) = smallest number of "pancake stack flips" to get the worst case stack-of-n-pancakes sorted. p(1)=0; p(2)=1 [casse ba], p(3)=3]; p(18) unknown

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.

A RC quadcopter flight controller for Arduino with an Android client