GSL
(GNU Scientific Library. A numerical library with a C and C++ API,
which currently provides more than a 1000 mathematical functions.)
(cvs)
(manual)
(ml)
Ginac (Mathmatical engine to help with the creation
of integrated systems that embed symbolic manipulations, it is to be used with the C++
programming language)
SortDemo (Tool
to visualize various types of sorting algorithms)
Meta-level Compilation (Project
which aims to create domain- and application-specific compiler extensions
to check, optimize, and transform sourcecode. No code released yet.)