Px4 Python Packages

kq-lmpc-quadrotor

A complete, hardware-ready Python package for Koopman-based Linear Model Predictive Control (LMPC), delivering real-time trajectory tracking for quadrotors using analytical Koopman lifting (no training data required).

raccoonlab-tools

Cyphal, DroneCAN and stm32 related tools

mavpilot

Async PX4 drone controller — sequential autonomous flight via MAVLink

blackridge-whaco

WHACO (Warranted Hierarchical Autonomous Cooperative Operations) — resource-aware distributed autonomy governor for energy-constrained multi-agent drone systems. pip install blackridge-whaco

urml-llm-bridge

The specification, reference runtimes, validator, LLM bridge, and conformance suite for URML — an open language for robot intent.

pymavswarm

Python library used to safely control drone swarms and drone fleets with MAVLink

gazebomotioncapture

Motion Capture System Simulator Base on Gazebo, can be use for vehicle position Estimate

quadrotor-koopman-datafree

Analytical Koopman-based data-free lifting and Linear MPC (KQ-LMPC) for quadrotor dynamics on SE(3)

urml-validator

Static verification engine for URML — Universal Robot Language

flightlang

A tiny DSL for drone missions.

px4-sitl-doctor

Pre-launch environment validator for the PX4 + ROS 2 + Gazebo SITL stack