Built MindTheGapps
Nginx module for embedding Clojure or Java or Groovy programs
C++ embedded RTOS,TCP/IP,TLS,FAT,USB,PERIPHERALS,...
Open IoT Framework
MGSyn - Automatic Synthesis for Industrial Automation
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