Fourier-Motzkin elimination for integer inequality satisfiability
An interface to the Gnu Linear Programming Kit (GLPK)
|succeeds; has failing tests|
Units and measures with basic arithmetic operations.
based on measures, but with dimensions and types
Typesetting math in scribble (uses MathJax and/or KaTeX). Also supports figures with Asymptote.
A library to perform forward and reverse 1-d Haar Wavelet transforms