Explore projects

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

This is a fork of the kstart provided by Russ Allbery at http://www.eyrie.org/~eagle/software/kstart/ with minor tweaks to enable the static compilation for HTCondor using condor_compile and the static Heimdal Kerberos 5 libs.

YEET Electronic Education Tool language for the YEET

Provided files for the Linkload exercise.

A replication of the question from the Architecture exam.

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

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

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

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