GitHub repository: poke1024/Mathics
Primary language: Python
Description: a general-purpose computer algebra system