Alternatives and similar repositories for PARI-extensions:

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

• oeis / oeisdata
  Content of Online Encyclopedia of Integer Sequences (OEIS)
  ☆78Updated this week
• archmageirvine / joeis
  Java implementations of sequences in the OEIS
  ☆61Updated this week
• kimwalisch / primesum
  🚀 Sum of the primes below x
  ☆37Updated 2 years ago
• flintlib / antic
  Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆61Updated 2 years ago
• fredrik-johansson / flint
  My copy of FLINT -- please use https://github.com/flintlib/flint/ for development
  ☆82Updated last month
• edgarcosta / endomorphisms
  Rigorous computation of the endomorphism ring of a Jacobian
  ☆10Updated 2 weeks ago
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆93Updated 8 months ago
• metamath / metamath-exe
  Metamath program - source code for the Metamath executable
  ☆83Updated 7 months ago
• algebraic-solving / msolve
  Library for Polynomial System Solving through Algebraic Methods
  ☆121Updated last week
• wbhart / ccas
  A simple CAS written in C.
  ☆10Updated 10 years ago
• BRiAl / BRiAl
  Successor to PolyBoRi
  ☆19Updated 3 months ago
• OKullmann / oklibrary
  A research platform and active library for generalised SAT solving
  ☆33Updated this week
• clsn / ries
  Robert Munafo's reverse equation solver
  ☆13Updated 2 years ago
• passagemath / LiDIA
  LiDIA --- A library for computational number theory, developed 1994-2004 by Johannes Buchmann's group at TU Darmstadt, relicensed to GPL …
  ☆29Updated 5 years ago
• flintlib / calcium
  Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆81Updated last year
• sligocki / busy-beaver
  Tools for finding Busy Beaver Turing Machines and Proving others as non-halting
  ☆36Updated last week
• linbox-team / givaro
  Givaro - C++ library for arithmetic and algebraic computations
  ☆51Updated last week
• meithecatte / busycoq
  Busy Beaver deciders backed by Coq proof
  ☆48Updated last month
• vsklad / cgen
  CGen is a tool for encoding SHA-1 and SHA-256 hash functions into CNF in DIMACS format, also into ANF polynominal system in PolyBoRi outp…
  ☆25Updated last year
• loda-lang / loda-programs
  LODA Programs for Integer Sequences
  ☆33Updated this week
• linbox-team / linbox
  LinBox - C++ library for exact, high-performance linear algebra
  ☆85Updated last month
• aphitorite / Logsort
  O(n log n) In-place Stable Quicksort
  ☆15Updated 3 months ago
• hgarrereyn / SBVA
  Structured BVA
  ☆33Updated 11 months ago
• cseed / knotkit
  knot theory and computational algebra software
  ☆37Updated 10 years ago
• maxtuno / slime-sat-solver
  A Free World Class High Performance SAT Solver
  ☆20Updated 3 years 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
• jlumbroso / encyclopedia-of-combinatorial-structures-data
  Encyclopedia of Combinatorial Structures
  ☆13Updated 6 years ago
• kjson / pyfactor
  General number field sieve for python
  ☆18Updated 9 years ago
• danaj / Math-Prime-Util
  Perl (XS) module implementing prime number utilities, including sieves
  ☆47Updated last week
• flintlib / python-flint
  Python bindings for Flint and Arb
  ☆135Updated last week