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
Real-time interactive 3D graphics API for scientific simulations
X Inertial-aided Visual Odometry
ESP8266 framework for Homie, a lightweight MQTT convention
Modbus TCP, UDP and Modbus RTU client/server library
polyglot language framework to analyze genetic data
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.
Utility to show live progress, status & stats for running simulations
Makani was developed a commercial-scale airborne wind turbine
Modbus slave simulator
AVR simulator IDE