Python implementation for microcontrollers and constrained systems
Professional collaborative platform for embedded development
Built MindTheGapps
uIDE (Micro IDE) is a free, open-source IDE for GPUtils
a self-contained development environment for embedded systems.
A C++ library for AVR and NodeMCU
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
MGSyn - Automatic Synthesis for Industrial Automation
Synthesizing embedded control software from formal specifications
Extend GDB Server feature, OS Aware Debugging, Thread Stack Checking
Controlling Model Railroad via Networks
Project has been move to https://github.com/ciaa/Firmware
JBernstein: Exploration techniques for non-linear constraint checking
Open Source Hardware For Industrial Automation