GladTeX -- embed LaTeX-quality images in HTML
A package for Isogeometric Analysis in Octave and Matlab
A system for computer algebra and symbolic mathematics
EDMFit is an adjustment tool to estimate EDM calibration parameters.
jAgg - Java Aggregation Operations
A Calculator to perform logical operations
MathTools is an aid in preparing printed math tests.
sparse and dense matrix, linear algebra, visualization, big data
Global nonlinear optimization with automatic differentiation
Editor for Petri nets
Bit level lambda continuations and nothing else - Queue automata
Machine learning with Gaussian kernels.
Mad Science
Petri net framework for security related modeling and reasoning.
Java graph library