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 C++ wrapper around the OpenGL C API.
A PHP-based FAQ system.