wyvern
symforce
Our great sponsors
| wyvern | symforce | |
|---|---|---|
| 2 | 15 | |
| 54 | 1,345 | |
| - | 2.6% | |
| 3.5 | 9.0 | |
| 7 months ago | 7 days ago | |
| C++ | C++ | |
| GNU General Public License v3.0 only | Apache License 2.0 |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
wyvern
-
Lazy Let: A Cheap Way and Easy Way to Add Lazyness
We have implemented automatic "lazification" of function arguments at the level of the LLVM IR. We released the code last year.
-
Lazification of Function Arguments
For those interested, the code is here: https://github.com/lac-dcc/wyvern
symforce
-
SymPy: Symbolic Mathematics in Python
You might find this library interesting: https://github.com/symforce-org/symforce
- SymForce is a fast symbolic computation and code generation library for robotics
- Fast Symbolic Computation for Robotics
-
Literature request: Lie groups and algebra
Personally I followed along the text implementing things using symforce (https://symforce.org/) instead of Sophus.
-
Jacobian Matrix possible on arduino?
It isn't related to Arduino, and may be overkill for this application, but Symforce has some cool tools for implementing the 1st option.
-
What optimization libraries are you using?
I've been paying around with Symforce and the more I get into it the more excited I get about it. It lets you prototype in high level symbolic math in Python, then once you get things working it autogenerates super optimized C++ for you. And it has the built in tangent space stuff for factor graphs like GTSAM
-
Skydio Researchers Open-Source ‘SymForce’: A Fast Symbolic Computation And Code Generation Library For Robotics Applications Like Computer Vision, etc.
Continue reading | Checkout the paper and github
- Fast symbolic computation, code generation, and nonlinear optimization for robotics
What are some alternatives?
regal86 - Register Allocator for 8086
casadi - CasADi is a symbolic framework for numeric optimization implementing automatic differentiation in forward and reverse modes on sparse matrix-valued computational graphs. It supports self-contained C-code generation and interfaces state-of-the-art codes such as SUNDIALS, IPOPT etc. It can be used from C++, Python or Matlab/Octave.
CppRobotics - Header-only C++ library for robotics, control, and path planning algorithms. Work in progress, contributions are welcome!
jank - A Clojure dialect hosted on LLVM with native C++ interop
pinocchio - A fast and flexible implementation of Rigid Body Dynamics algorithms and their analytical derivatives
rangeless - c++ LINQ -like library of higher-order functions for data manipulation
Colosseum - Open source simulator for autonomous robotics built on Unreal Engine with support for Unity
PochiVM - Lightweight framework for easy and efficient code generation
ANMS-Codes - Efficient adaptive non-maximal suppression algorithms for homogeneous spatial keypoint distribution
faust - Functional programming language for signal processing and sound synthesis
openvslam - OpenVSLAM: A Versatile Visual SLAM Framework