LightCAS is very lightweigth Computer Algebra System
Massively Parallel Graph processing on GPUs -- now part of Blazegraph
Maxima script for symbolic analysis of analog integrated circuits
Powerful Calculus Environment and Matrices Handling Engine
Bond-graph based modelling tools
High quality fast "true random" number generator (shuffling) for JS
A general recommender system with basic models and MRA
A versatile MCMC and downhill optimization engine
FDA's f2 computation with bootstrap technique
Timeseries databases management system
simple chess app
galculator is a scientific calculator in algebraic mode and RPN
Simple physics simulation of Curvilinear and Rectilinear Motions
JBernstein: Exploration techniques for non-linear constraint checking
Creates a data density plot of a 2 dimensional data distribution.
an interactive 3D viewing program
proof verifier for mathematical proofs and documentation generator
Incan Abacus Emulator
Java Api to manipulate simple on data of Matrix Type
Capacity exhaustion prediction from RRD files