MathWar is a flashcard math game in which the child plays against the computer to solve simple addition, subtraction, and multiplication problems before the computer player answers. MathWar is aimed at kids who are just learning their math facts, and can easily be tailored to fit different skill levels.
Maxima is a Common Lisp implementation of MIT's Macsyma system for computer based algebra. It features plotting over the network via netmath, computations over the network, extensive testing on a large array of problems, a source level debugger for maxima code, ease of extension in fundamentally new ways, access to Common Lisp and portability to many systems.
NetMath is a web browser which knows something about math. It has built-in plotting engines and the ability to communicate with computation servers. This makes it possible to do local graphics, zooming and panning, while taking advantage of sophisticated computational programs. Documents contain active and editable items, and the results of computations appear in the document.
Astronomy for fun (education, science, whatever). Nightfall is an interactive application to simulate eclipsing binary stars, and to produce animated views, synthetic lightcurves and more. Takes into account the non-spherical shape of close binary stars, mutual reflection, and some other effects. Comes with documentation, on-line help, and lots of observational data of real binary stars. Supports the Gnome desktop, but doesn't require it.
OBJ3 is a program specification and proof system based on order sorted equational logic. It has been successfully used for research and teaching in software design and specification, rapid prototyping, theorem proving, user interface design, and hardware verification, among other things. It was the first language to implement parameterized programming and its module system influenced the designs of the Ada, C++, and ML module systems.