SYmbolic MOdeling of RObots software. The language is python and the key library is sympy.
This is an open-source version of SYMORO software written in Python. Hence you do not need Mathematica license to use it.
For more details on SYMORO, please see http://www.irccyn.ec-nantes.fr/spip.php?article601&lang=en