Mixed Integer Linear Programming (MILP) solver.
A collection of machine-checkend mathematical proofs
polyglot language framework to analyze genetic data
transfer xml into specific text-formats (html, dot, source-code, ...)
Sampling exactly from the normal and exponential distributions
Modbus slave simulator
transfer text in diverse formats into specific xml parser-trees
Management of source code quality is possible.
A C++ Matrix Library
Call hidden/private API in style, The Swift way
Translator from restricted matlab to C
Concise spatial query and representation system (c-squares)
C-level driver collection for MSP430 and derivatives