Automated integer factorization
Free cad viewer for 3d drawings in different formats
Did you ever made a production machine on steroids?
Exploiting Mox Software "Bipolar Transistors" database
The Murder Accountability Project's Serial Killer Algorithm
PyRPL turns your Red Pitaya into a powerful analog feedback device.
Specific Winding Analyse Tool for Electrical Machines
Proof Logic : A logical framework for theorem proving
Remote Scrum Communication & Collaboration Suite :: Scrum Board & co
Mixed Integer Linear Programming (MILP) solver.
Inelastic neutron scattering suite.
Corpus Linguistics Software
A collection of machine-checkend mathematical proofs
A Python library for solving geometric constraint problems
A docker image pre-installed ivms4200-Linux based on bkjaya1952/q4wine
Neural Networks Collection
ESP8266 framework for Homie, a lightweight MQTT convention