Tool support for the Z formal notation
Android, UIQ 3.0, Series 60 Edition 5 open-source software
Dynamical systems research tool
Framework & GUI for Bayes Nets and other probabilistic models.
Pequeño IDE para el lenguaje JMEScript.
Evaluador de expresiones matemáticas para Java en español
Symja - Java computer algebra language & symbolic math library
External plugins for modnlp/teccli
Computation and Visualization environment
The birth of modern video feedback art.
Open Source and data mining software
Calculates Volume, Surface Area & Centroid of a Closed Triangular Mesh
An in-place external sort
Mathematics, linear algebra and optimisation