Euler Yet another proof Engine
Syllog is a system for teaching logic, with anonymous answer logging
PyCLP is a Python library to interface ECLiPSe Constraint System
A cross platform audio inteface
(download) Linux Adequate"available approximately five days"
IMDb Relational Dataset Generator