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 2 months ago
- metamath proof enumerators and other things☆91Updated last year
- Encyclopedia of Combinatorial Structures☆15Updated 7 years ago
- Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆61Updated 2 years ago
- configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se…☆41Updated last year
- A research platform and active library for generalised SAT solving☆33Updated 4 months ago
- SAT-based Bitcoin Mining☆88Updated 3 years ago
- Successor to PolyBoRi☆21Updated 2 weeks ago
- Lingeling SAT Solver☆105Updated last year
- 🚀 Sum of the primes below x☆38Updated 3 years ago
- Cryptoleq: A Heterogeneous Abstract Machine for Encrypted and Unencrypted Computation.☆32Updated last year
- Structured BVA☆41Updated last year
- A basic implementation of the Small Primes Number-Theoretic Transform (NTT) multiplication algorithm.☆24Updated 7 years 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
- A simple implementation of the Quadratic Sieve for integer factoring in C☆13Updated 13 years ago
- LODA Programs for Integer Sequences☆36Updated last week
- Metamath program - source code for the Metamath executable☆86Updated 2 months ago
- Java implementations of sequences in the OEIS☆64Updated this week
- Othello program created by Gunnar Andersson - This is a copy of the original code -☆16Updated 11 years ago
- Cube-and-Conquer SAT solver☆37Updated 3 months ago
- Swing, divide and conquer the factorial!☆81Updated 3 years ago
- SAT instance generator for SHA-1☆49Updated 4 years ago
- Robert Munafo's reverse equation solver☆15Updated 2 years ago
- Bosphorus, ANF simplifier and solver, and ANF-to-CNF converter☆76Updated 6 months ago
- O(n log n) In-place Stable Quicksort☆20Updated 2 months ago
- Tokenizer, and operator and character tables, and conversion routines for the Wolfram Language.☆22Updated last month
- This is the 2009 version of TestU01, a software library, implemented in the ANSI C language, and offering a collection of utilities for t…☆75Updated last year
- implementation of OEIS sequences☆11Updated 8 years ago
- FLINT (Fast Library for Number Theory)☆534Updated last week
- Imported from svn://scm.gforge.inria.fr/svnroot/ecm/☆28Updated last year