Client library for using AWS IoT Jobs service on embedded devices
Real-Time Event Frameworks based on active objects & state machines
KleOS brings together Arduino, FreeRTOS and Arduino-mk to you.
An analysis tool showing the structure of a C program
State machine framework for reactive embedded systems
MGSyn - Automatic Synthesis for Industrial Automation
serial logging tool with time stamps and hotkey and automation support
JBernstein: Exploration techniques for non-linear constraint checking
Light Weight & Customizable Assembly Compiler & Virtual Machine