CRGreathouse / PARI-extensionsLinks
Material for PARI/GP: new functions, some scripts, and syntax highlighting.
☆11Updated 2 years ago
Alternatives and similar repositories for PARI-extensions
Users that are interested in PARI-extensions are comparing it to the libraries listed below
Sorting:
- Rigorous computation of the endomorphism ring of a Jacobian☆11Updated 6 months ago
- SAT-based Bitcoin Mining☆89Updated 4 years ago
- LODA Programs for Integer Sequences☆37Updated last week
- Java implementations of sequences in the OEIS☆68Updated this week
- Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆62Updated 2 years ago
- Encyclopedia of Combinatorial Structures☆15Updated 7 years ago
- metamath proof enumerators and other things☆92Updated 2 months ago
- 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
- Cryptoleq: A Heterogeneous Abstract Machine for Encrypted and Unencrypted Computation.☆31Updated last year
- configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se…☆41Updated 2 years ago
- A basic implementation of the Small Primes Number-Theoretic Transform (NTT) multiplication algorithm.☆24Updated 8 years ago
- Haraka is a secure and efficient short-input hash function.☆59Updated 8 years ago
- A formal proof of an exponentially better upper bound on Ramsey numbers☆18Updated 2 years ago
- LODA is an assembly language, a computational model and a tool for mining integer sequence programs.☆21Updated 4 years ago
- Tools for finding Busy Beaver Turing Machines and Proving others as non-halting☆49Updated last week
- Robert Munafo's reverse equation solver☆19Updated 2 years ago
- Solutions to math olympiad problems in Isabelle/HOL☆11Updated 4 years ago
- SAT instance generator for SHA-1☆49Updated 4 years ago
- General number field sieve for python☆18Updated 10 years ago
- LiDIA --- A library for computational number theory, developed 1994-2004 by Johannes Buchmann's group at TU Darmstadt, relicensed to GPL …☆30Updated 9 months ago
- A simple implementation of the Quadratic Sieve for integer factoring in C☆13Updated 14 years ago
- O(n log n) In-place Stable Quicksort☆22Updated 5 months ago
- Runtime and miner for the LODA language written in C++☆28Updated this week
- SHA256-SAT-BITCOIN☆24Updated 9 years ago
- We compute the Brumer-Stark units and the polynomial required to generate the Hilbert class field of some real quadratic fields, as compu…☆31Updated 4 years ago
- Imported from svn://scm.gforge.inria.fr/svnroot/ecm/☆30Updated last week
- Metamath program - source code for the Metamath executable☆91Updated last month
- Structured BVA☆42Updated last year
- This is the 2009 version of TestU01, a software library, implemented in the ANSI C language, and offering a collection of utilities for t…☆83Updated 2 years ago
- implementation of OEIS sequences☆11Updated 9 years ago