CRGreathouse / PARI-extensions
Material for PARI/GP: new functions, some scripts, and syntax highlighting.
☆11Updated last year
Alternatives and similar repositories for PARI-extensions
Users that are interested in PARI-extensions are comparing it to the libraries listed below
Sorting:
- Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆61Updated 2 years ago
- Content of Online Encyclopedia of Integer Sequences (OEIS)☆81Updated this week
- Java implementations of sequences in the OEIS☆61Updated this week
- metamath proof enumerators and other things☆93Updated 9 months ago
- SAT instance generator for SHA-1☆49Updated 4 years ago
- configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se…☆41Updated last year
- LODA Programs for Integer Sequences☆34Updated this week
- Cryptoleq: A Heterogeneous Abstract Machine for Encrypted and Unencrypted Computation.☆30Updated 8 months ago
- Successor to PolyBoRi☆19Updated 5 months ago
- 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
- Encyclopedia of Combinatorial Structures☆13Updated 6 years ago
- 🚀 Sum of the primes below x☆38Updated 2 years ago
- LinBox - C++ library for exact, high-performance linear algebra☆88Updated this week
- Rigorous computation of the endomorphism ring of a Jacobian☆11Updated last month
- LODA is an assembly language, a computational model and a tool for mining integer sequence programs.☆21Updated 3 years ago
- A research platform and active library for generalised SAT solving☆33Updated this week
- Analytic Number Theory high-precision GnuMP routines☆17Updated last year
- Givaro - C++ library for arithmetic and algebraic computations☆51Updated last month
- Mathematical proofs of the bbchallenge project.☆24Updated 2 weeks ago
- LiDIA --- A library for computational number theory, developed 1994-2004 by Johannes Buchmann's group at TU Darmstadt, relicensed to GPL …☆30Updated 2 weeks ago
- Automatically exported from code.google.com/p/atlasofliegroups☆32Updated this week
- A basic implementation of the Small Primes Number-Theoretic Transform (NTT) multiplication algorithm.☆24Updated 7 years ago
- Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆81Updated last year
- Tools for finding Busy Beaver Turing Machines and Proving others as non-halting☆38Updated last week
- Bosphorus, ANF simplifier and solver, and ANF-to-CNF converter☆71Updated last month
- Structured BVA☆36Updated last year
- Metamath program - source code for the Metamath executable☆81Updated this week
- SAT-based Bitcoin Mining☆86Updated 3 years ago
- Lingeling SAT Solver☆103Updated last year
- My copy of FLINT -- please use https://github.com/flintlib/flint/ for development☆82Updated 2 weeks ago