A library to compute Gröbner bases. It is very fast because it - uses Jean-Charle Faugère's F5, - uses data structures deemed efficient by Roune & Stillmann, and - runs in parallel.
This code and repository is released to the public domain. For particularities, see The Unlicense.