GitHub repository: KaurkerDevourer/ff4
Primary language: C++
Description: Fast f4 algorithm to find groebner basis