Dynamical systems research tool
Open Source and data mining software
Create, display and process 2D vectors in a 3D window.
A calculator to work with historical dates and calendars.
Predictive Microbial Modeling plug-in for KNIME
API for all possible cellular automata that work same at all angles
Editor for Petri nets
Mad Science
A geometry library for Java
proof verifier for mathematical proofs and documentation generator
C++ library adds mathematical fractions. Example: 1/3, 4/7, 49/357...
A simple programmable spreadsheet for learning statistics.
A C++ matrix class for easy matrix manipulation