A collection of machine-checkend mathematical proofs
ESP8266 framework for Homie, a lightweight MQTT convention
Neural Networks Collection
X Inertial-aided Visual Odometry
Modbus TCP, UDP and Modbus RTU client/server library
Real-time interactive 3D graphics API for scientific simulations
polyglot language framework to analyze genetic data
Utility to show live progress, status & stats for running simulations
transfer xml into specific text-formats (html, dot, source-code, ...)
Java language binding for the GNU Linear Programming Kit (GLPK)
Sampling exactly from the normal and exponential distributions
A Reproducible Data Analysis Workflow with R Markdown, Git, Make, etc.
Modbus slave simulator
AVR simulator IDE
transfer text in diverse formats into specific xml parser-trees
Zipline, a Pythonic algorithmic trading library
Management of source code quality is possible.