OStatic

Molle is a cross-platform prover for modal logic, which exploits the modal semantic tableaux method. It features a very usable graphical interface, wi...

IMathAS is an web-based math testing and homework system. It is a light course/learning management system (CMS/LMS) and testing system, most similar t...

AiM is a system for intelligent computer-aided learning and assessment in mathematics and related disciplines, based on a symbolic mathematics program...

This program plots the solutions or approximations of systems of ordinary differential equations (ODEs). It makes use of opengl for the plotting, and ...

This is a conversion-to-binary training game prototype. Random bits appear, and you must shoot them where they fit onto various bytes (given in octal,...

Slick Linux by Cellocity is Based on Fedora Core 5 Source Code. Using the Kernel 2.6.16. with only basic core elements needed to operate. Slick is jus...

This project has been integrated with project http://sf.net/projects/okopo and will be shutdown when the published files have been transferred there.

Tiny Flash ActionScript Speed math program to train rapid multiplication and addition. Good for any age who wants to improve arithmetic and general ma...

ASCIIMathML.js: a JavaScript to convert calculator-style ASCII math notation (and many LaTeX formulas) to Presentation MathML while your webpage loads...

blat(mat) is a Braille to print translator for maths. It takes a Spanish Six-dot Mathematical Braille (not Nemeth Code) text and converts it to an HTM...