AO RTOS is small real time OS based on Active Object concurrency model
Real-Time Event Frameworks based on active objects & state machines
Framework for CAN communication interfaces including code generator
Recirculation infusion mash system library for Arduino
a modern, docker-like, embedded image builder
MGSyn - Automatic Synthesis for Industrial Automation
Controlling Model Railroad via Networks
JBernstein: Exploration techniques for non-linear constraint checking