Stars
OpenBLAS is an optimized BLAS library based on GotoBLAS2 1.13 BSD version.
A small utility to modify the dynamic linker and RPATH of ELF executables
The Boehm-Demers-Weiser conservative C/C++ Garbage Collector (bdwgc, also known as bdw-gc, boehm-gc, libgc)
Python interface to Graphviz graph drawing package
Qhull development for www.qhull.org -- Qhull 2020.2 (8.1-alpha1) at https://github.com/qhull/qhull/wiki
General Multi-Precision arithmetic for Python (GMP, MPIR, MPFR, MPC)
The atomic_ops project (Atomic memory update operations portable implementation)
Library for Polynomial System Solving through Algebraic Methods
SnapPy is a package for studying the topology and geometry of 3-manifolds, with a focus on hyperbolic structures. It is based on the SnapPea kernel written by Jeff Weeks.
M4RI is a library for fast arithmetic with dense matrices over GF(2)
An easy-to-use and open-source tool for differential, linear, differential-linear, and integral analysis of S-boxes
Spherogram is a Python module for dealing with the kind of planar diagrams that arise in 3-dimensional topology, such as link and Heegaard diagrams. It a component of the larger SnapPy project.
mixed integer semidefinite programming plugin for SCIP
Python interface to the QDLDL (https://github.com/osqp/qdldl) free LDL factorization routine for quasi-definite linear systems
QepcadB is a system for quantifier elimination, formula simplification and other operations in real algebra and geometry.
M4RIE is a library for fast arithmetic with dense matrices over GF(2^e) for 2 ≤ e ≤ 16
A library of computer algebra functions due to George E. Collins and his many students and collaborators.
The FXrays module computes extremal rays of polyhedral cones. SnapPy uses this to compute normal surfaces.