symforce

Fast symbolic computation, code generation, and nonlinear optimization for robotics