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.
Point-of-sale software for touchscreen devices.
The Horde task list manager.