sympy / sympy

A computer algebra system written in pure Python

kennethreitz / pytheory

Music Theory for Humans.

devitocodes / devito

DSL and compiler framework for automated finite-differences and stencil computation

morluto / jacobian

Composable mathematics tools for agents

aadya940 / scikit-verify

Trace Python+NumPy programs into SymPy formulas and check them symbolically, across all branches