STM32 core support for Arduino
Native Apple HomeKit accessory implementation for the ESP8266 Arduino
Arduino core for ATtiny 1634, 828, x313, x4, x41, x5, x61, x7 and x8
Summary
qspline (Quaternion Cubic Spline) under the CC0 license
MIT's spacecraft simulator for control algorithm development