Android, UIQ 3.0, Series 60 Edition 5 open-source software
Tools and Programs to make Polygons
Experimentation System
Mathematics, linear algebra and optimisation
Visualization of lerning process of hypercube neuron with two inputs.
Calculate various aspects of the Kontinuum RPG system.
SL2 (= SLSL) - A Simple Linear Systems Library
Software for exact computing based on interval arithmetic.
a defluctuator for avisynth
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.