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.
Software that rips DVD to MOV, MP4, M4V, and iTunes.
A cloud storage toolkit.