GitHub repository: mariusud/symforce
Description: Fast symbolic computation, code generation, and nonlinear optimization for robotics