Generating PLC programs from formal specifications
The 'runjags' R package and standalone JAGS extension module
Dynamics of quantum systems, controlled by external fields
Real-time audio synthesis engine and music programming language
An easy to use GUI enables electric source and grid simulation.
Control Voltcraft Power Supply and Victor 86C Multimeter
Canreg5 is a software package for population based cancer registries
Modular CNC software for Arduino controller
Digital PID Controller Using MSP432
Two companion weather stations with Wi-Fi upload/download
Feedback control system analysis and design
Virtual Camera representation using the Toric Space
Open-Source Thermostatic Radiator Valve
Java Library for workflow handling
A library for the control of motors using the TI DRV8833 IC
vHDL Obfuscator is an small GUI to obfuscate and reformat HDL files
C++ and Python code for simulating RNA virus replication
Accurately predicts disease association of single nucleotide mutations
Sistema de Control Medioambiental