Alternatives and similar repositories for encyclopedia-of-combinatorial-structures-data

Users that are interested in encyclopedia-of-combinatorial-structures-data are comparing it to the libraries listed below

• CRGreathouse / PARI-extensions
  Material for PARI/GP: new functions, some scripts, and syntax highlighting.
  ☆11Updated 2 years ago
• kimwalisch / primesum
  🚀 Sum of the primes below x
  ☆39Updated 3 years ago
• libsemigroups / HPCombi
  Fast combinatorics in C++ using SSE/AVX instruction sets
  ☆17Updated last month
• flintlib / antic
  Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆62Updated 2 years ago
• sidneycadot / oeis
  Code to download, process, and analyse the Online Encyclopedia of Integer Sequences
  ☆50Updated 10 months ago
• linbox-team / linbox
  LinBox - C++ library for exact, high-performance linear algebra
  ☆97Updated 2 months ago
• linbox-team / givaro
  Givaro - C++ library for arithmetic and algebraic computations
  ☆53Updated 3 months ago
• linbox-team / fflas-ffpack
  FFLAS-FFPACK - Finite Field Linear Algebra Subroutines / Package
  ☆63Updated 3 months ago
• nicolasprevot / GpuShareSat
  Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.
  ☆34Updated 4 years ago
• bluescarni / obake
  A C++20 library for the symbolic manipulation of sparse polynomials & co.
  ☆29Updated last year
• flintlib / calcium
  Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆82Updated 2 years ago
• edgarcosta / endomorphisms
  Rigorous computation of the endomorphism ring of a Jacobian
  ☆11Updated 4 months ago
• passagemath / upstream-LiDIA
  LiDIA --- A library for computational number theory, developed 1994-2004 by Johannes Buchmann's group at TU Darmstadt, relicensed to GPL …
  ☆30Updated 7 months ago
• mkauers / ore_algebra
  ☆37Updated last month
• clsn / ries
  Robert Munafo's reverse equation solver
  ☆18Updated 2 years ago
• b-mehta / exponential-ramsey
  A formal proof of an exponentially better upper bound on Ramsey numbers
  ☆18Updated 2 years ago
• flintlib / python-flint
  Python bindings for Flint and Arb
  ☆141Updated last week
• 4ti2 / 4ti2
  A software package for algebraic, geometric and combinatorial problems on linear spaces. By R. Hemmecke, R. Hemmecke, M. Köppe, P. Malkin…
  ☆44Updated 3 weeks ago
• BRiAl / BRiAl
  Successor to PolyBoRi
  ☆21Updated 2 months ago
• archmageirvine / joeis
  Java implementations of sequences in the OEIS
  ☆68Updated this week
• abrandenberger / random-trees
  Generate random critical Galton-Watson trees and display their free trees in a force-directed layout
  ☆15Updated last year
• Martin-Seysen / mmgroup
  Python implementation of the monster group
  ☆55Updated 3 weeks ago
• fredrik-johansson / flint
  My copy of FLINT -- please use https://github.com/flintlib/flint/ for development
  ☆82Updated this week
• Normaliz / Normaliz
  Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.
  ☆48Updated 2 weeks ago
• martani / Quadratic-Sieve
  A simple implementation of the Quadratic Sieve for integer factoring in C
  ☆13Updated 13 years ago
• km-git-acc / dbn_upper_bound
  Computational effort to upper bound the de Bruijn-Newman constant as part of a Polymath project
  ☆13Updated 2 years ago
• Mysticial / ProtoNTT
  A basic implementation of the Small Primes Number-Theoretic Transform (NTT) multiplication algorithm.
  ☆24Updated 8 years ago
• flintlib / flint
  FLINT (Fast Library for Number Theory)
  ☆548Updated last week
• taschini / crlibm
  A mirror of the CRLibm project from INRIA Forge
  ☆49Updated 5 years ago
• conp-solutions / mergesat
  configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se…
  ☆41Updated 2 years ago