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.
C++ port of QUADPACK with general function defination style.
SL2 (= SLSL) - A Simple Linear Systems Library
A linux distribution for chemists
Software for exact computing based on interval arithmetic.
a defluctuator for avisynth
proof verifier for mathematical proofs and documentation generator