JQM - Java Quine McCluskey for minimization of Boolean functions.
DNP3 Protocol Source code Library Outstation and client Win Linux
IEC 101 Embedded Linux ARM, POSIX x86 x86-64 - c, c++ programming
A math-inspired CAD program in haskell. CSG, bevels, and shells
Symja - Java computer algebra language & symbolic math library
Capture and control API for IIDC compliant cameras
Editor for NXT and BrickPi robot (with simulator for NXT)
Object oriented library in C++ for robotics simulation
How to philosophize with internetworked electronic computing machinery
Estimator of climate-driven, mosquito-borne viral suitability index
Arduino core for ATtiny 1634, 828, x313, x4, x41, x5, x61, x7 and x8
Checkpoint/Restart functionality for Linux processes
Mixed Integer Linear Programming (MILP) solver.
Java language binding for the GNU Linear Programming Kit (GLPK)
Test and measurement automation for electronics, physics and more
A framework for simulating open quantum dynamics
The Refreshingly Simple C++ Dataflow Framework
Free ladder & sequential (grafcet) languages used on automation PLC
A calculator for solving problems using Constraint Logic Programming.
Optimal control, trajectory optimization, model-predictive control.