Fast Symbolic Computation for Robotics

1. symforce

   1 15 1,554 8.8 C++

   Fast symbolic computation, code generation, and nonlinear optimization for robotics

   

2. Stream

   getstream.io featured

   Stream - Scalable APIs for Chat, Feeds, Moderation, & Video. Stream helps developers build engaging apps that scale to millions with performant and flexible Chat, Feeds, Moderation, and Video APIs and SDKs powered by a global edge network and enterprise-grade infrastructure.

   

3. SymPy

   2 38 14,191 9.9 Python

   A computer algebra system written in pure Python

   

   https://github.com/sympy/sympy/issues/9479 suggests that multivariate inequalities are still unsolved in SymPy, though it looks like https://github.com/sympy/sympy/pull/21687 was merged in August. This probably isn't yet implemented in C++ in SymForce yet?

Suggest a related project