ESP32 CYD version of the Electronic Shelf Label.
Open IoT Framework
Synthesizing embedded control software from formal specifications
Extend GDB Server feature, OS Aware Debugging, Thread Stack Checking
Technologies for automating food production on various scales
JBernstein: Exploration techniques for non-linear constraint checking
Open Source Hardware For Industrial Automation