GitHub repository: mahrud/mathic
Primary language: C++
Description: C++ library of symbolic algebra data structures for use in Groebner basis computation.