Software to develop and run robots.
Large-scale nonlinear optimization library from Google.
Factor graphs for SLAM and sensor fusion.