home | projects

SOS source documentation A Simple Operating System for the MIPS Alpha chip (requires L4 micro-kernel).

Turing Machine A Maple implementation of a Turing Machine.

Z Pizza Restaurant Specifying a pizza restaurant using Z.

pageLife A Macintosh implementation of the game of life.

asimov v2 A DOS 3d engine exercise (warning - has been known to crash pcs!)

home forays projects links