Alternatives and similar repositories for anant

Users that are interested in anant are comparing it to the libraries listed below

• flintlib / antic
  Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆61Updated 2 years ago
• metamath / metamath-exe
  Metamath program - source code for the Metamath executable
  ☆86Updated 2 months ago
• fredrik-johansson / flint
  My copy of FLINT -- please use https://github.com/flintlib/flint/ for development
  ☆82Updated last week
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆91Updated last year
• ascherer / cwebbin
  Literate Programming in C/C++
  ☆36Updated 2 months ago
• blambov / RealLib
  Library for exact real number computations
  ☆40Updated 10 years ago
• flintlib / calcium
  Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆81Updated last year
• archmageirvine / joeis
  Java implementations of sequences in the OEIS
  ☆64Updated this week
• arpra-project / arpra
  Arpra is a C library for analyzing the propagation of numerical error in arbitrary precision IEEE-754 floating-point computations.
  ☆25Updated 2 years ago
• kimwalisch / primesum
  🚀 Sum of the primes below x
  ☆38Updated 3 years ago
• nilesjohnson / hopf_fibration
  Modifications of Niles Johnson's Hopf Fibration drawing code
  ☆38Updated 10 years ago
• CRGreathouse / PARI-extensions
  Material for PARI/GP: new functions, some scripts, and syntax highlighting.
  ☆11Updated 2 years ago
• loda-lang / loda-programs
  LODA Programs for Integer Sequences
  ☆36Updated last week
• metamath / metamath-book
  Source of metamath book
  ☆51Updated last year
• mjdominus / cf
  Continued fraction library
  ☆32Updated 5 years ago
• Martin-Seysen / mmgroup
  Python implementation of the monster group
  ☆53Updated last week
• linbox-team / givaro
  Givaro - C++ library for arithmetic and algebraic computations
  ☆52Updated last month
• thoppe / Cayley-Dickson
  Cayley Dickson algebra implementation in python
  ☆12Updated 6 years ago
• homalg-project / homalg_project
  Deposited packages of the homalg project
  ☆16Updated last month
• liuyj8526 / Computation-of-Elliptic-Units
  We compute the Brumer-Stark units and the polynomial required to generate the Hilbert class field of some real quadratic fields, as compu…
  ☆32Updated 4 years ago
• passagemath / upstream-LiDIA
  LiDIA --- A library for computational number theory, developed 1994-2004 by Johannes Buchmann's group at TU Darmstadt, relicensed to GPL …
  ☆30Updated 5 months ago
• cseed / knotkit
  knot theory and computational algebra software
  ☆38Updated 11 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆39Updated 4 months ago
• km-git-acc / dbn_upper_bound
  Computational effort to upper bound the de Bruijn-Newman constant as part of a Polymath project
  ☆13Updated 2 years ago
• linbox-team / fflas-ffpack
  FFLAS-FFPACK - Finite Field Linear Algebra Subroutines / Package
  ☆63Updated last month
• GabrielDosReis / open-axiom
  OpenAxiom: Platform for Symbolic, Algebraic, and Numeric Computations
  ☆26Updated last year
• quil-lang / quil
  Specification of Quil: A Practical Quantum Instruction Set Architecture
  ☆119Updated 2 months ago
• vsklad / cgen
  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
• ckrause / loda
  LODA is an assembly language, a computational model and a tool for mining integer sequence programs.
  ☆21Updated 4 years ago
• IMAGINARY / SURFER
  Sources of Java version of SURFER (which uses JavaFX 1.3.1)
  ☆33Updated 7 years ago