Software to develop and run robots.
Large-scale nonlinear optimization library from Google.
Factor graphs for SLAM and sensor fusion.
Symbolic framework for nonlinear optimization and optimal control.
Small header-only C++ library for Lie theory.
