General Mission Analysis Tool
Tool support for the Z formal notation
MathMod is a mathematical modeling software
Android, UIQ 3.0, Series 60 Edition 5 open-source software
Symja - Java computer algebra language & symbolic math library
Software for electromagnetic simulation
Python Calculator on Number Theory
Calculation with Clifford algebras: C++ library and Python module
C++ Statistical ToolKit
SEQUOIA ocean data assimilation platform (a SIROCCO suite tool)
Manual counter with the keyboard or the mouse on images
Interactive geometry software for Euclidean and non-Euclidean spaces
Simple Long Integer Math for C++
A simple Clifford algebra calculator