Drake

Drake is an open-source C++ toolbox with extensive Python bindings for robot design, simulation, and analysis, emphasizing model-based design and formal verification. It provides tools for dynamics, control, planning, and visualization. As of version 1.52.0, Drake maintains a monthly release cycle, offering continuous improvements and new features.