Infoscherm is a system for displaying information on screens
all over a campus.
Molle is a cross-platform prover for modal logic. It exploits the modal semantic tableaux method. It features a very usable graphical interface, with an interactive representation of generated models.
A Linux namespaces sandbox program.
A full featured file system for Amazon S3 and other online storage services.