mc_rtc Walking Controller Using IS-MPC Gait Generation - View it on GitHub