Euler Yet another proof Engine
Benchmark for 50 000 000 prime numbers as single and multicore
Syllog is a system for teaching logic, with anonymous answer logging
dAnalytics is a software made for education in discriminant analysis.
Libre software to help remember visual and verbal facts.