Everything that makes robot development faster.
Large-scale nonlinear optimization library from Google.
Factor graphs for SLAM and sensor fusion.
Symbolic framework for nonlinear optimization and optimal control.