Python implementation for microcontrollers and constrained systems
Professional collaborative platform for embedded development
a self-contained development environment for embedded systems.
Nginx module for embedding Clojure or Java or Groovy programs
C++ embedded RTOS,TCP/IP,TLS,FAT,USB,PERIPHERALS,...
Recirculation infusion mash system library for Arduino
Open IoT Framework
Synthesizing embedded control software from formal specifications
Extend GDB Server feature, OS Aware Debugging, Thread Stack Checking
JBernstein: Exploration techniques for non-linear constraint checking
Open Source Hardware For Industrial Automation
Simple AVR OS