Agena is an interpreted procedural programming language.
Android, UIQ 3.0, Series 60 Edition 5 open-source software
Framework & GUI for Bayes Nets and other probabilistic models.
Software for electromagnetic simulation
The birth of modern video feedback art.
Open Source and data mining software
Numerical models for chemical and process engineering
Equation of stock trading simplified to game of moving resizing balls
Computer calculations made easy
API for all possible cellular automata that work same at all angles
MathTools is an aid in preparing printed math tests.
A geometry library for Java
Calculator that takes care of measurement units.
DSOL: A Distributed Simulation Object Library implemented in Java
proof verifier for mathematical proofs and documentation generator