Symbolic Computation of Dynamics on Smooth Manifolds - View it on GitHub