Generating PLC programs from formal specifications
A C++ framework that uses inhibition trees for behaviour control.
A C++ implementation of a nonlinear 3D IMU fusion algorithm.
A C++ framework that implements generalised finite state machines.
NASA Core Flight Executive framework for embedded applications
Modbus TCP/UDP Server Simulator and Modbus RTU Slave Simulator
Modular Java framework for meta-heuristic optimization
Glue Libraries for Users as an Environment
Measure video delays
A Java Distributed Shared Memory Middleware
a python manager class for named variables (variable name is variable)
A C++ Tool for the Fast Prototyping of Topological Data Structures
USART Bootloader for STM32 Family devices
Real-time audio synthesis engine and music programming language
Easy mathematics in wxWidgets
An open platform for the research of algorithmic game solving
A software for upload .hex files to ATMEGA328P and compile .asm files