Euler Yet another proof Engine
Deductive Database with Datalog, SQL, RA, TRC, DRC
Syllog is a system for teaching logic, with anonymous answer logging
PyCLP is a Python library to interface ECLiPSe Constraint System
Short C++/Java/C#/Python benchmark
A cross platform audio inteface
(download) Linux Adequate"available approximately five days"
IMDb Relational Dataset Generator