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.

Computer Algebra System in Javascript (Typescript)

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

General purpose algebraic metaprogramming and symbolic computation library for the Julia programming language: E-Graphs & equality saturation, term rewriting and more.

Official repository of the FriCAS computer algebra system

A field-theory motivated approach to computer algebra.

A modern computer algebra system which aims to handle expressions with billions of terms.

∫ Straightforward numerical integration of systems of ordinary differential equations

Ridiculously fast symbolic expressions

imR0T: Send a quick message with simple text encryption to your whatsapp contact and protect your text by encrypting and decrypting, basically in ROT13 with new multi encryption based algorithm on ASCII and Symbols Substitution

Expression transformation package

A simple symbolic library with a pretty name 🧚🏻

Solve symbolically defined systems of non-linear equations numerically.

Manipulate tensors symbolically in Julia! Currently needs a SymPy dependency, but work is ongoing to change the backend to SymbolicUtils.jl

Port of the Eigenmath math engine to the Casio Prizm (fx-CG 10 and 20)

Convenient Haskell syntax for writing in LaTeX math expressions

Pynac -- symbolic computation with Python objects, Sage Math support library --- Website:

A symbolic manipulation toolkit which aims to handle expressions with billions of terms