casadi / 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, Matlab/Octave, Julia or Javascript

ASC-Community / AngouriMath

Open-source cross-platform symbolic algebra library for C# and F#. Can be used for both production and research purposes.

JuliaSymbolics / SymbolicUtils.jl

Symbolic expressions, rewriting and simplification

symbolica-dev / symbolica

Symbolica is a high-performance computer algebra library for Python and Rust. Manipulate large expressions, match patterns, and generate optimized numerical code — at unprecedented speed.