A library to convert between braille and MathML
Computer Assisted Proofs in Dynamics
command line interface calculator
CUDA library for continuous optimization and light field analysis
Statistiken zu COVID-19 in Deutschland
A Univariate Time Series Analysis package in ANSI C