GitHub repository: AlexeiSheplyakov/GiNaC
Primary language: C++
Description: Special purpose C++ library for symbolic computations