GitHub repository: A2R-Lab/tinympc-crazyflie
Description: Documents on integrating TinyMPC into the Crazyflie nano-quadrotor