Real-time 3D visualization of space
Celestia is an application for real-time 3D visualization of space, with a detailed model of the solar system, over 100,000 stars, more than 10,000 galaxies, and an extension mechanism for adding more objects.
A program for finding the congruencies of a groupoid
MAED is a simple but powerfull math program with educational character. It has a Lisp like programming language, a nice GUI. It can work in client-server mode. A main goal is to make a program which can solve math problems using both numerical and symb