Python library for defining and optimizing mathematical expressions
Tool support for the Z formal notation
Framework & GUI for Bayes Nets and other probabilistic models.
Numerical models for chemical and process engineering
Java math expression parser and script interpreter
Heterogeneous Software Development Accelerated
Predictive Microbial Modeling plug-in for KNIME
Modular Java framework for meta-heuristic optimization
A Free and Open Source Java Framework for Multiobjective Optimization
A geometry library for Java
A portable C++ library for Compressed Sensing
approximate Bayesian computation for stochastic differential equations
A small, basic, yet powerful and competent primality tester.
Platform-level utilities on .NET Framework 4.0 (C#)