Automated integer factorization
Tool for reverse engineering of Angular applications
The Murder Accountability Project's Serial Killer Algorithm
Proof Logic : A logical framework for theorem proving
Remote Scrum Communication & Collaboration Suite :: Scrum Board & co
Mixed Integer Linear Programming (MILP) solver.
A collection of machine-checkend mathematical proofs
Neural Networks Collection
ESP8266 framework for Homie, a lightweight MQTT convention
X Inertial-aided Visual Odometry
Modbus TCP, UDP and Modbus RTU client/server library
polyglot language framework to analyze genetic data
Real-time interactive 3D graphics API for scientific 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
Utility to show live progress, status & stats for running simulations
A Reproducible Data Analysis Workflow with R Markdown, Git, Make, etc.