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
- Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆61Updated 2 years ago
- knot theory and computational algebra software☆37Updated 10 years ago
- Rigorous computation of the endomorphism ring of a Jacobian☆10Updated 3 weeks ago
- Content of Online Encyclopedia of Integer Sequences (OEIS)☆79Updated this week
- Java implementations of sequences in the OEIS☆61Updated last week
- Robert Munafo's reverse equation solver☆14Updated 2 years ago
- metamath proof enumerators and other things☆92Updated 9 months ago
- A Free World Class High Performance SAT Solver☆20Updated 3 years ago
- My copy of FLINT -- please use https://github.com/flintlib/flint/ for development☆82Updated last week
- Givaro - C++ library for arithmetic and algebraic computations☆51Updated last month
- Analytic Number Theory high-precision GnuMP routines☆17Updated last year
- A research platform and active library for generalised SAT solving☆33Updated this week
- LODA Programs for Integer Sequences☆34Updated this week
- ☆19Updated 2 years ago
- configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se…☆41Updated last year
- Sources of Java version of SURFER (which uses JavaFX 1.3.1)☆32Updated 6 years ago
- SAT-based Bitcoin Mining☆85Updated 3 years ago
- SAT instance generator for SHA-1☆47Updated 4 years ago
- Runtime and miner for the LODA language written in C++☆24Updated 3 weeks ago
- Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.☆32Updated 3 years ago
- Metamath program - source code for the Metamath executable☆81Updated 8 months ago
- Cryptoleq: A Heterogeneous Abstract Machine for Encrypted and Unencrypted Computation.☆30Updated 8 months ago
- Successor to PolyBoRi☆19Updated 4 months ago
- Perl (XS) module implementing prime number utilities, including sieves☆47Updated this week
- LinBox - C++ library for exact, high-performance linear algebra☆86Updated 2 months ago
- Perl prime number module using XS/GMP☆17Updated 3 weeks ago
- Tools for finding Busy Beaver Turing Machines and Proving others as non-halting☆37Updated last month
- 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 3 months ago
- LODA is an assembly language, a computational model and a tool for mining integer sequence programs.☆21Updated 3 years ago
- Continued fraction library☆30Updated 4 years ago