Alternatives and similar repositories for PARI-extensions

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

• edgarcosta / endomorphisms
  Rigorous computation of the endomorphism ring of a Jacobian
  ☆11Updated 3 weeks 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
• martani / Quadratic-Sieve
  A simple implementation of the Quadratic Sieve for integer factoring in C
  ☆13Updated 13 years ago
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆94Updated 11 months ago
• flintlib / antic
  Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆61Updated 2 years ago
• archmageirvine / joeis
  Java implementations of sequences in the OEIS
  ☆63Updated last week
• OKullmann / oklibrary
  A research platform and active library for generalised SAT solving
  ☆32Updated last month
• jlumbroso / encyclopedia-of-combinatorial-structures-data
  Encyclopedia of Combinatorial Structures
  ☆14Updated 7 years ago
• jheusser / satcoin
  SAT-based Bitcoin Mining
  ☆88Updated 3 years ago
• metamath / metamath-exe
  Metamath program - source code for the Metamath executable
  ☆82Updated 2 months ago
• ckrause / loda
  LODA is an assembly language, a computational model and a tool for mining integer sequence programs.
  ☆21Updated 3 years ago
• b-mehta / exponential-ramsey
  A formal proof of an exponentially better upper bound on Ramsey numbers
  ☆17Updated last year
• 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 2 years ago
• loda-lang / loda-programs
  LODA Programs for Integer Sequences
  ☆35Updated this week
• clsn / ries
  Robert Munafo's reverse equation solver
  ☆15Updated 2 years ago
• oeis / oeisdata
  Content of Online Encyclopedia of Integer Sequences (OEIS)
  ☆86Updated this week
• aphitorite / Logsort
  O(n log n) In-place Stable Quicksort
  ☆18Updated 7 months ago
• fredrik-johansson / flint
  My copy of FLINT -- please use https://github.com/flintlib/flint/ for development
  ☆82Updated 2 weeks ago
• Mathics3 / mathics-scanner
  Tokenizer, and operator and character tables, and conversion routines for the Wolfram Language.
  ☆21Updated this week
• marijnheule / microsat
  microsat
  ☆136Updated 3 years ago
• hgarrereyn / SBVA
  Structured BVA
  ☆37Updated last year
• sidneycadot / oeis
  Code to download, process, and analyse the Online Encyclopedia of Integer Sequences
  ☆47Updated 5 months ago
• capiman / sha256-sat-bitcoin
  SHA256-SAT-BITCOIN
  ☆24Updated 9 years 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 2 months ago
• marijnheule / CnC
  Cube-and-Conquer SAT solver
  ☆36Updated this week
• loda-lang / loda-cpp
  Runtime and miner for the LODA language written in C++
  ☆26Updated this week
• BRiAl / BRiAl
  Successor to PolyBoRi
  ☆20Updated last month
• sethtroisi / gmp-ecm
  Imported from svn://scm.gforge.inria.fr/svnroot/ecm/
  ☆27Updated last year
• sat-group / open-wbo
  Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver
  ☆77Updated last year
• linbox-team / givaro
  Givaro - C++ library for arithmetic and algebraic computations
  ☆51Updated 3 months ago