symforce-org's tracked open-source repos, sorted by stars.
Fast symbolic computation, code generation, and nonlinear optimization for robotics