CRGreathouse / PARI-extensionsLinks
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
- My copy of FLINT -- please use https://github.com/flintlib/flint/ for development☆82Updated this week
- configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se…☆41Updated last year
- LinBox - C++ library for exact, high-performance linear algebra☆88Updated this week
- Python bindings for Flint and Arb☆136Updated this week
- Content of Online Encyclopedia of Integer Sequences (OEIS)☆84Updated this week
- FFLAS-FFPACK - Finite Field Linear Algebra Subroutines / Package☆62Updated last week
- Imported from svn://scm.gforge.inria.fr/svnroot/ecm/☆26Updated last year
- Metamath program - source code for the Metamath executable☆82Updated last month
- Rigorous computation of the endomorphism ring of a Jacobian☆11Updated 2 months ago
- Lingeling SAT Solver☆102Updated last year
- ☆142Updated 2 weeks ago
- A research platform and active library for generalised SAT solving☆32Updated 2 weeks ago
- SAT instance generator for SHA-1☆49Updated 4 years ago
- Simple recursive and iterative SAT solver written in Python.☆123Updated 6 years ago
- Bosphorus, ANF simplifier and solver, and ANF-to-CNF converter☆73Updated 2 months ago
- Cryptoleq: A Heterogeneous Abstract Machine for Encrypted and Unencrypted Computation.☆30Updated 10 months ago
- Givaro - C++ library for arithmetic and algebraic computations☆51Updated 3 months ago
- Successor to PolyBoRi☆20Updated last month
- Structured BVA☆37Updated last year
- knot theory and computational algebra software☆37Updated 11 years ago
- Java implementations of sequences in the OEIS☆63Updated this week
- Haraka is a secure and efficient short-input hash function.☆57Updated 7 years ago
- Encyclopedia of Combinatorial Structures☆14Updated 7 years ago
- metamath proof enumerators and other things☆94Updated 11 months ago
- Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆81Updated last year
- Cube-and-Conquer SAT solver☆35Updated last year
- 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
- C library to compute the Hamming weight of arrays☆47Updated 6 years ago
- Tokenizer, and operator and character tables, and conversion routines for the Wolfram Language.☆21Updated 3 weeks ago