mathic. C++ library of symbolic algebra data structures for use in Groebner basis computation.
25mathicgb. Compute (signature) Groebner bases using the fast datastructures from mathic.
12memtailor. C++ library of special purpose memory allocators.
9frobby. Frobby dev repo. At the time, was used as more of a backup solution, so contains extraneous working files not part of any release.
2LELA. Library for exact linear algebra, a C++ template-library based originally on LinBox intended for F4-like implementations
1