STM32 core support for Arduino
Serial Bootloader for Microchip, Atmel, NXP, TI, 8051 microcontrolers
A framework for implementing real-time control systems
Open source observatory control software
Summary
A Quadrotor Aerial Robot platform for K-12 Education.