Android, UIQ 3.0, Series 60 Edition 5 open-source software
Mathematics, linear algebra and optimisation
Calculate various aspects of the Kontinuum RPG system.
SL2 (= SLSL) - A Simple Linear Systems Library
Software for exact computing based on interval arithmetic.
proof verifier for mathematical proofs and documentation generator
A logic IDE for the sentential logic and the predicate logic.
mglua stands for MathGL for Lua.
Basic linear algebra in C++
Flight Planning tool.
LIME is a software tool for creating multiphysics simulation codes.