Open Source Flight Controller Firmware
a self-contained development environment for embedded systems.
ESP8266 core for Arduino
freeRTOS for Arduino Uno, Goldilocks 1284p & Mega 2560
AliOS Things latest version
Recirculation infusion mash system library for Arduino
A minimal Linux that runs as a coreboot or LinuxBoot ROM payload
Ecos for AVR32 targets
Simple USB flash memory programmer.