Top AI Repos — open-source AI, indexed and scored
Top AI Repos tracks AI repositories on GitHub and answers two different questions about each one: is it moving right now, and would you bet a product on it.
Top AI Repos tracks AI repositories on GitHub and answers two different questions about each one: is it moving right now, and would you bet a product on it.
Fast symbolic computation, code generation, and nonlinear optimization for robotics
| Date | Stars |
|---|---|
| 2026-07-24 | 1628 |
| 2026-07-25 | 1628 |
| 2026-07-28 | 1628 |
| 2026-07-30 | 1628 |
| 2026-08-06 | 1628 |
Today
— stars today
This week
— stars this week
This month
— stars this month
Momentum
15.0
growth rate 0.00%/day
<!-- There's no good way to make an image that's different on light/dark mode that also links
somewhere. The closest thing is to add a #gh-light-mode-only to the target, which does this,
but is kinda confusing -->
<!-- DARK_MODE_ONLY -->
<!-- /DARK_MODE_ONLY -->
<p align="center">
<a href="https://github.com/symforce-org/symforce/actions/workflows/ci.yml?query=branch%3Amain"><img alt="CI status" src="https://github.com/symforce-org/symforce/actions/workflows/ci.yml/badge.svg" /></a>
<a href="https://symforce.org"><img alt="Documentation" src="https://img.shields.io/badge/api-docs-blue" /></a>
<a href="https://github.com/symforce-org/symforce"><img alt="Source Code" src="https://img.shields.io/badge/source-code-blue" /></a>
<a href="https://github.com/symforce-org/symforce/issues"><img alt="Issues" src="https://img.shields.io/badge/issue-tracker-blue" /></a>
<img alt="Python 3.10 | 3.11 | 3.12" src="https://img.shields.io/pypi/pyversions/symforce" />
<img alt="C++17" src="https://img.shields.io/badge/c++-17-blue" />
<a href="https://pypi.org/project/symforce/"><img alt="PyPI" src="https://img.shields.io/pypi/v/symforce" /></a>
<a href="https://github.com/symforce-org/symforce/tree/main/LICENSE"><img alt="Apache License" src="https://img.shields.io/pypi/l/symforce" /></a>
</p>
---
SymForce is a fast symbolic computation and code generation library for robotics applications like computer vision, state estimation, motion planning, and controls. It combines the development speed and flexibility of symbolic mathematics with the performance of autogenerated, highly optimized code in C++ or any target runtime language. SymForce contains three independently useful systems:
+ **Symbolic Toolkit** - builds on the SymPy API to provide rigorous geometric and camera types, lie group calculus, singularity handling, and tools to model complex problems
+ **Code Generator** - transforms symbolic expressions into blazing-fast, branchless code with clean APIs and minimal dependencies, with a template system to target any language
+ **Optimization Library** - a fast tangent-space optimization library based on factor graphs, with a highly optimized implementation for real-time robotics applications
SymForce automatically computes tangent space Jacobians, eliminating the need for any bug-prone handwritten derivatives. Generated functions can be directly used as factors in our nonlinear optimizer. This workflow enables faster runtime functions, faster development time, and fewer lines of handwritten code versus alternative methods.
SymForce is developed and maintained by [Skydio](https://skydio.com/). It is used in production to accelerate tasks like SLAM, bundle adjustment, calibration, and sparse nonlinear MPC for autonomous robots at scale.
<br/>
<img alt="SymForce" src="docs/static/images/symforce_diagram.png" width="700px"/>
<br/>
#### Features
+ Symbolic implementations of geometry and camera types with Lie group operations
+ Code generation of fast native runtime code from symbolic expressions, reducing duplication and minimizing bugs
+ Novel tools to compute fast and correct tangent-space jacobians for any expression, avoiding all handwritten derivatives
+ Strategies for flattening computation and leveraging sparsity that can yield 10x speedups over standard autodiff
+ A fast tangent-space optimization library in C++ and Python based on factor graphs
+ Rapid prototyping and analysis of complex problems with symbolic math, with a seamless workflow into production use
+ Embedded-friendly C++ generation of templated Eigen code with zero dynamic memory allocation
+ Highly performant, modular, tested, and extensible code
### Read the paper: <a href="https://arxiv.org/abs/2204.07889">https://arxiv.org/abs/2204.07889</a>
### And watch the video: <a href="https://youtu.be/QO_Excerpt of 29,928 characters
Read on GitHub
640
174
63
60
39
26
19
14
13
10
8
8
8
7
7
Tord
7
6
6
5
4
Would you bet a product on this? Bounded 0–100 and slow moving.
matched fp:c7b3e9567dbb868f, topic:robotics, topic:slam, desc:robotics
matched fp:c7b3e9567dbb868f, topic:code-generation, desc:code generation, readme:code generation