symforce-org/symforce
Fast symbolic computation, code generation, and nonlinear optimization for robotics
This project helps robotics engineers and researchers design, analyze, and optimize the mathematical models for autonomous robots more efficiently. It takes in symbolic mathematical expressions describing robot motion, sensor measurements, and environmental interactions. It then generates highly optimized C++ code that can run on real-time robot systems. This tool is ideal for developers building complex robotics applications like navigation, computer vision, and state estimation.
1,590 stars. Actively maintained with 13 commits in the last 30 days. Available on PyPI.
Use this if you need to quickly prototype and debug complex mathematical models for robotics, then generate high-performance, bug-free C++ code for production use on autonomous systems.
Not ideal if your project doesn't involve symbolic mathematics, real-time code generation for C++, or advanced nonlinear optimization for robotics.
Stars
1,590
Forks
166
Language
C++
License
Apache-2.0
Category
Last pushed
Mar 28, 2026
Commits (30d)
13
Dependencies
10
Get this data via API
curl "https://pt-edge.onrender.com/api/v1/quality/ai-coding/symforce-org/symforce"
Open to everyone — 100 requests/day, no key needed. Get a free key for 1,000/day.
Related tools
alphaville/optimization-engine
Nonconvex embedded optimization: code generation for fast real-time optimization + ROS support
stack-of-tasks/pinocchio
A fast and flexible implementation of Rigid Body Dynamics algorithms and their analytical derivatives
inducer/loopy
A code generator for array-based code on CPUs and GPUs
loco-3d/crocoddyl
Crocoddyl is an optimal control library for robot control under contact sequence. Its solver is...
inducer/pymbolic
A simple package to do symbolic math (focus on code gen and DSLs)