The MATLAB toolbox for MEG, EEG and iEEG analysis
A comprehensive open source computer algebra system for computations
fast C++ library for linear algebra & scientific computing
System dynamics program with additional features for economics
An implementation of interval arithmetic
A cross-platform statistical package for econometric analysis
Computer Algebra System written in Common Lisp
Simulate chemical processes using advanced thermodynamic models
2D & 3D TeX-Aware Vector Graphics Language
For exploring cellular automata like Conway's Game of Life.
Open source finite element software for multiphysical problems
Agena is an interpreted procedural programming language.
Tool support for the Z formal notation
Arbitrary-precision CRC calculator and algorithm finder
rw calculates rank-width and rank-decompositions.
Android, UIQ 3.0, Series 60 Edition 5 open-source software
MathMod is a mathematical modeling software
MCPower — simple Monte Carlo power analysis for complex models