Reinforcement learning environments for compiler and program optimization tasks

Open deep learning compiler stack for cpu, gpu and specialized accelerators

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.