Reinforcement learning environments for compiler and program optimization tasks

Open Machine Learning Compiler Framework

F4 Reduction Tools

Parallel Groebner Basis Computation

C++ library of special purpose memory allocators.

Library for exact linear algebra, a C++ template-library based originally on LinBox intended for F4-like implementations

C++ library of symbolic algebra data structures for use in Groebner basis computation.

Compute (signature) Groebner bases using the fast datastructures from mathic.

C++ library of symbolic algebra data structures for use in Groebner basis computation.

C++ library of special purpose memory allocators.