PyRPL turns your Red Pitaya into a powerful analog feedback device.
Proof Logic : A logical framework for theorem proving
Specific Winding Analyse Tool for Electrical Machines
Remote Scrum Communication & Collaboration Suite :: Scrum Board & co
Mixed Integer Linear Programming (MILP) solver.
Corpus Linguistics Software
Inelastic neutron scattering suite.
A collection of machine-checkend mathematical proofs
Modbus TCP, UDP and Modbus RTU client/server library
Neural Networks Collection
AstroCTC - Linux astronomy software for Planetary and Lunar image c
ESP8266 framework for Homie, a lightweight MQTT convention
X Inertial-aided Visual Odometry
A Python library for solving geometric constraint problems
Real-time interactive 3D graphics API for scientific simulations
polyglot language framework to analyze genetic data
Libraries and command line tools for medical image processing.
Directional Audio File Format
Utility to show live progress, status & stats for running simulations