Triangulations Of Point Configs and Oriented Matroids (examples)
Taiwan invoice reverse calculator
header-only C++ template library for b-spline processing
Flexible command-line scientific calculator
Software verification platform
Coq support for the why3 verification platform
HTML Documentation of the why3 verification platform
PDF Documentation of the why3 verification platform
Examples for the why3 verification platform
GUI for the computer algebra system Maxima
Lossy compression and denoising
Computer algebra system -- x interface
Computer Algebra System