Everything that makes robot development faster.
Large-scale nonlinear optimization library from Google.
Small header-only C++ library for Lie theory.