Apache NuttX is a mature, real-time embedded operating system (RTOS)

21 Lessons, Get Started Building with Generative AI

Linux kernel source tree

Python PID Controller

Linux Kernel and Device Drivers

Tools for debugging and profiling ARM Cortex-M devices as found on the PX4 Autopilot FMU boards

Repository for the textbook: Small Unmanned Aircraft: Theory and Practice, by Randy Beard and Tim McLain

PX4 Autopilot Software

ARTist's core implementation meant to be included in the art project. Provides ARTist APIs and boilerplate code for modules.