PolyBoRi
Description
"PolyBoRi can be understood as a framework of high performance data structures and sample Gröbner bases algorithms." (http://www.itwm.fhg.de/en/as__asprojects__PolyBoRi/PolyBoRi/)
Website
http://www.itwm.fhg.de/en/as__asprojects__PolyBoRi/PolyBoRi/
http://www.itwm.fraunhofer.de/zentral/download/berichte/bericht122.pdf
Status
PolyBoRi is unreleased.