There are 7 repositories under symbolic-manipulation topic.
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.
New open-source cross-platform symbolic algebra library for C# and F#. Can be used for both production and research purposes.
Symbolic expressions, rewriting and simplification
Math.NET Symbolics
Makes Julia reason with equations. General purpose metaprogramming, symbolic computation and algebraic equational reasoning library for the Julia programming language: E-Graphs & equality saturation, term rewriting and more.
Ridiculously fast symbolic expressions
Expression transformation package
Manipulate tensors symbolically in Julia! Currently needs a SymPy dependency, but work is ongoing to change the backend to SymbolicUtils.jl
Convenient Haskell syntax for writing in LaTeX math expressions
A Haskell-embedded computer algebra system that knows nothing about algebra, at the core.
Lightweight server for testing equivalence of two symbolic expressions.
pyddlib is a Python3 library for manipulating decision diagrams.
Identifying numerically safe eliminations automatically
Very simple CAS in Ruby
Symbolic manipulation of mathematical expressions
F# Mathematics Library
Identity suppressed decision diagrams (IDDs)