Alternatives and similar repositories for PARI-extensions

Users that are interested in PARI-extensions are comparing it to the libraries listed below

• archmageirvine / joeis
  Java implementations of sequences in the OEIS
  ☆63Updated this week
• oeis / oeisdata
  Content of Online Encyclopedia of Integer Sequences (OEIS)
  ☆83Updated this week
• edgarcosta / endomorphisms
  Rigorous computation of the endomorphism ring of a Jacobian
  ☆11Updated 2 months ago
• flintlib / antic
  Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆61Updated 2 years ago
• cseed / knotkit
  knot theory and computational algebra software
  ☆37Updated 10 years ago
• sligocki / busy-beaver
  Tools for finding Busy Beaver Turing Machines and Proving others as non-halting
  ☆38Updated this week
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆93Updated 10 months ago
• JohnCremona / ecdata
  Data files containing the Cremona Database of all elliptic curves over Q of bounded conductor: see also http://www.lmfdb.org/EllipticCurv…
  ☆20Updated last year
• Mysticial / ProtoNTT
  A basic implementation of the Small Primes Number-Theoretic Transform (NTT) multiplication algorithm.
  ☆24Updated 7 years ago
• BRiAl / BRiAl
  Successor to PolyBoRi
  ☆19Updated 2 weeks ago
• sethtroisi / gmp-ecm
  Imported from svn://scm.gforge.inria.fr/svnroot/ecm/
  ☆25Updated last year
• metamath / metamath-exe
  Metamath program - source code for the Metamath executable
  ☆82Updated 3 weeks ago
• sagemath / cypari2
  Python interface to the number theory library PARI/GP. Source repository for https://pypi.org/project/cypari2/
  ☆29Updated 3 weeks ago
• algebraic-solving / msolve
  Library for Polynomial System Solving through Algebraic Methods
  ☆133Updated last week
• clsn / ries
  Robert Munafo's reverse equation solver
  ☆14Updated 2 years ago
• williamstein / ant
  Algebra Number Theory book
  ☆48Updated 3 years ago
• IMAGINARY / SURFER
  Sources of Java version of SURFER (which uses JavaFX 1.3.1)
  ☆32Updated 7 years ago
• linas / anant
  Analytic Number Theory high-precision GnuMP routines
  ☆17Updated last year
• danaj / Math-Prime-Util
  Perl (XS) module implementing prime number utilities, including sieves
  ☆47Updated this week
• flintlib / calcium
  Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆81Updated last year
• JohnCremona / eclib
  The eclib package includes mwrank (for 2-descent on elliptic curves over Q) and modular symbol code used to create the elliptic curve dat…
  ☆23Updated last week
• hgarrereyn / SBVA
  Structured BVA
  ☆37Updated last year
• flintlib / python-flint
  Python bindings for Flint and Arb
  ☆135Updated last week
• gmp-mirror / gmp
  Unofficial mirror of GMP development branch
  ☆13Updated 4 months ago
• conp-solutions / mergesat
  configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se…
  ☆41Updated last year
• rocq-community / fourcolor
  Formal proof of the Four Color Theorem [maintainer=@ybertot]
  ☆208Updated last month
• Anon52MI4 / oeis-alien
  ☆19Updated 2 years ago
• Mathics3 / mathics-scanner
  Tokenizer, and operator and character tables, and conversion routines for the Wolfram Language.
  ☆21Updated this week
• fredrik-johansson / flint
  My copy of FLINT -- please use https://github.com/flintlib/flint/ for development
  ☆82Updated last week
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆39Updated last year