sympy
cupy
