A logic IDE for the sentential logic and the predicate logic.
Portable Ubuntu Linux for Scientific Computing
Gplot provides a convenient front-end for gnuplot
This toolkit allows you to analyze and validate ns-2 traces
Pear3DEngine is a modern and modular 3D development framework
2D and 3D contour and colour map of regular or scattered data
Ccide is a Decision Table preprocessor.
Run Virtual Machines On a LiveCD | Management GUI
A cross-platform OpenGL based lightweight scenegraph library
CAD.