Alternatives and similar repositories for anant

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

• linbox-team / givaro
  Givaro - C++ library for arithmetic and algebraic computations
  ☆53Updated 4 months ago
• flintlib / antic
  Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆62Updated 2 years ago
• metamath / metamath-exe
  Metamath program - source code for the Metamath executable
  ☆90Updated last month
• 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
  ☆82Updated 2 years ago
• ascherer / cwebbin
  Literate Programming in C/C++
  ☆37Updated last month
• CRGreathouse / PARI-extensions
  Material for PARI/GP: new functions, some scripts, and syntax highlighting.
  ☆11Updated 2 years ago
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆92Updated last month
• Martin-Seysen / mmgroup
  Python implementation of the monster group
  ☆56Updated last week
• linbox-team / fflas-ffpack
  FFLAS-FFPACK - Finite Field Linear Algebra Subroutines / Package
  ☆63Updated 4 months ago
• fredrik-johansson / flint
  My copy of FLINT -- please use https://github.com/flintlib/flint/ for development
  ☆82Updated 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 3 years ago
• reduce-algebra / reduce-algebra
  reduce-algebra: a portable general-purpose computer algebra system, automatically mirrored from https://svn.code.sf.net/p/reduce-algebra/…
  ☆42Updated this week
• Dyalog / Math
  Math workspace and libraries for Dyalog APL
  ☆14Updated last year
• PeterLuschny / Fast-Factorial-Functions
  Swing, divide and conquer the factorial!
  ☆81Updated 3 years ago
• stephenathel / gawxm
  Geometric Algebra using wxMaxima (GAwxM)
  ☆13Updated 2 months ago
• dubrousky / mockmma
  ☆30Updated 7 years ago
• eprover / eprover
  ☆162Updated last month
• the-carlisle-group / Dado
  DevOps for Dyalog APL
  ☆16Updated last year
• FredMesnard / LPTP
  LPTP: A Logic Program Theorem Prover, written by Robert F. Staerk in the mid 1990's
  ☆14Updated 4 months ago
• sagemath / publications
  Source for https://www.sagemath.org/library-publications.html; submit Issues/PRs here to add/update citations of documents citing Sage
  ☆25Updated 3 months ago
• Singular / Singular
  sources for the Singular computer algebra system
  ☆297Updated 3 weeks 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 8 months ago
• jakobmoosbauer / flips
  ☆16Updated last month
• REX-Computing / unumjl
  Julia Implementation of Unums
  ☆42Updated 8 years ago
• taschini / crlibm
  A mirror of the CRLibm project from INRIA Forge
  ☆49Updated 5 years ago
• flintlib / arb
  Arb has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆473Updated last year
• archmageirvine / joeis
  Java implementations of sequences in the OEIS
  ☆68Updated this week
• dj-on-github / RNGBook_Code
  Programs and data to accompany the book "Random Number Generators, Principles and Practices"
  ☆11Updated 7 years ago
• linbox-team / linbox
  LinBox - C++ library for exact, high-performance linear algebra
  ☆97Updated 2 months ago