GitHub repository: mhuebert/emmy
Description: The Emmy Computer Algebra System.