libsemigroups / HPCombi
Fast combinatorics in C++ using SSE/AVX instruction sets
☆14Updated 3 weeks ago
Related projects: ⓘ
- C++ library for semigroups and monoids☆44Updated this week
- Givaro - C++ library for arithmetic and algebraic computations☆51Updated 4 months ago
- A simple CAS written in C.☆10Updated 9 years ago
- Library for exact real number computations☆39Updated 9 years ago
- The GAP package Semigroups☆23Updated last week
- Coq library of arbitrarily large numbers, providing BigN, BigZ, BigQ that used to be part of the standard library [maintainers=@proux01,@…☆22Updated last month
- LinBox - C++ library for exact, high-performance linear algebra☆83Updated last week
- Deposited packages of the homalg project☆12Updated 3 weeks ago
- RLibm for 32-bit representations (float and posit32)☆61Updated 3 years ago
- FFLAS-FFPACK - Finite Field Linear Algebra Subroutines / Package☆56Updated 2 weeks ago
- A Collection of High Performance Parallel Skeletons for Tree Search Problems☆20Updated 4 months ago
- Successor to PolyBoRi☆17Updated last year
- GAOL is not Just Another Interval Arithmetic Library☆12Updated last year
- An implementation of Fibonacci Anyons in Haskell☆22Updated 4 years ago
- Parallel Environment for optimal Lambda Calculus Reduction☆28Updated 2 years ago
- Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆61Updated last year
- Multinomials for the Mathematical Components library.☆14Updated 2 months ago
- A Haskell library for Approximating Exact Real Numbers (AERN) based on interval computation. (aern2 is a rewrite of aern.)☆22Updated 3 weeks ago
- Reference type checker for the Lean theorem prover☆13Updated 6 years ago
- Exact real arithmetic in C++☆49Updated 3 years ago
- Exploring connections between automatic differentiation and smooth infinitesimal analysis, or smooth algebras☆17Updated 3 years ago
- Theorems for Real Closed Fields☆13Updated last month
- Coq library for reasoning on randomized algorithms [maintainers=@anton-trunov,@volodeyka]☆25Updated 2 years ago
- LiDIA --- A library for computational number theory, developed 1994-2004 by Johannes Buchmann's group at TU Darmstadt, relicensed to GPL …☆28Updated 5 years ago
- Basic package manager for GAP☆12Updated this week
- Data files containing the Cremona Database of all elliptic curves over Q of bounded conductor: see also http://www.lmfdb.org/EllipticCurv…☆17Updated 6 months ago
- Finite field polynomial arithmetic based on fast Fourier transforms☆19Updated 3 years ago
- LALR(k) Parser Generator for Haskell, by Ralf Hinze☆9Updated 4 years ago
- A software package for algebraic, geometric and combinatorial problems on linear spaces. By R. Hemmecke, R. Hemmecke, M. Köppe, P. Malkin…☆32Updated 6 months ago
- A Haskell-embedded computer algebra system that knows nothing about algebra, at the core.☆16Updated 6 months ago