A Turing Machine Simulator
Incan Abacus Emulator
proof verifier for mathematical proofs and documentation generator
Software for data analysis, image processing, simulations, solver.
Mathematica package to handle Keplerian and perturbed orbits
A class library to use conformal geometric algebra in C#
Module Computation for Metabolic Networks
Capacity exhaustion prediction from RRD files
LaTeX, AscciMath and MathML editor developed in Javascript and HTML
Stochastic Analysis
A C++ template library extending syntax towards mathematical notation
A science API for Java
Distributed QP Solver in Python
Just a basic 4 band resistor color calculator with chart.