Rust is a systems programming language that provides memory safety and thread safety guarantees.

Rust is a systems programming language that provides memory safety and thread safety guarantees.

Rust is a systems programming language that provides memory safety and thread safety guarantees.

Rust is a systems programming language that provides memory safety and thread safety guarantees.

Rust is a systems programming language that provides memory safety and thread safety guarantees.

Rust is a systems programming language that provides memory safety and thread safety guarantees.

Rust is a systems programming language that provides memory safety and thread safety guarantees.

Rust is a systems programming language that provides memory safety and thread safety guarantees.

Rust is a systems programming language that provides memory safety and thread safety guarantees.

Rust is a systems programming language that provides memory safety and thread safety guarantees.

Rust is a systems programming language that provides memory safety and thread safety guarantees.

Rust is a systems programming language that provides memory safety and thread safety guarantees.

Rust is a systems programming language that provides memory safety and thread safety guarantees.

Rust is a systems programming language that provides memory safety and thread safety guarantees.

Rust is a systems programming language that provides memory safety and thread safety guarantees.

Rust is a systems programming language that provides memory safety and thread safety guarantees.

SageMath is a mathematics software built on top of many existing packages such as NumPy, SciPy, Matplotlib, Sympy, Maxima, GAP, FLINT, R and others. Their combined power may be accessed through a common, Python-based language or directly via interfaces or wrappers.

This package provides a Python interface to the GNU multiprecision libraries GMO, MPFR and MPC.

This Python package provides a wrapper to the C++ Parma Polyhedra Library (PPL).

BRiAl is the successor to PolyBoRi maintained by the Sage community. Its core is a C++ library, which provides high-level data types for Boolean polynomials and monomials, exponent vectors, as well as for the underlying polynomial rings and subsets of the powerset of the Boolean variables. As a unique approach, binary decision diagrams are used as internal storage type for polynomial structures.

Cypari2 provides a Python interface to the number theory library PARI/GP. It has been spun off from the SageMath mathematics software system, but it can be used independently.

libhomfly computes homfly polynomials of links, represented as strings.

libbraiding performs computations with braid groups, in particular it computes normal forms of group elements.

Cliquer is a set of reentrant C routines for finding cliques in a weighted or unweighted graph. It uses an exact branch-and-bound algorithm. It can search for maximum or maximum-weight cliques or cliques with size or weight within a given range, restrict the search to maximal cliques, store cliques in memory and call a user-defined function for every found clique.