Highly realistic and immersive model for Flightgear.
a Bible study tool
Sanskrit-English Dictionary
Database for Offline Education
The Repast Suite is a family of free agent-based modeling libraries.
Free & Open Community Edition Server in a Complete Virtual Machine
A collection of machine-checkend mathematical proofs
Le couteau-suisse du prof de maths
Assistant for generating Natural Deduction style proofs
Multi-platform Variable Star Visualisation and Analysis