dropbox-ftp

An FTP server that saves it's files to Dropbox

ghostrun

Augmented Reality Pacman Homage

eecs219c

EECS 219C Homework

calfuzzer

Thread schedule byassing program tester

anki-hints-plugin

Plugin for the Anki flashcard program that allows peeking at certain card fields as hints.

anki2-hints-addon

A hint-peeking add-on for the Anki (v2) flashcard program

cute

A concolic program tester

pret_iss

Instruction set simulator for our PRET machine

math225b

llvm-clang-PRETC

My fork of the llvm/clang projects from llvm.org

korean

timing_constructs