A library and some programs for working polytopes and quadratic forms.

Main repository for the Linera protocol

A few functions for working with indefinite quadratic forms.

CoxIter is a computer program designed to compute invariants of hyperbolic Coxeter groups.

Main development repository for GAP - Groups, Algorithms, Programming, a System for Computational Discrete Algebra

A header-only C++ library for large scale eigenvalue problems

NumPy aware dynamic Python compiler using LLVM