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
• linbox-team / givaro
  Givaro - C++ library for arithmetic and algebraic computations
  ☆52Updated 2 weeks ago
• metamath / metamath-exe
  Metamath program - source code for the Metamath executable
  ☆86Updated last month
• ascherer / cwebbin
  Literate Programming in C/C++
  ☆35Updated last month
• cseed / knotkit
  knot theory and computational algebra software
  ☆38Updated 11 years ago
• metamath / metamath-book
  Source of metamath book
  ☆51Updated last year
• 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
  ☆94Updated last year
• archmageirvine / joeis
  Java implementations of sequences in the OEIS
  ☆65Updated this week
• linbox-team / fflas-ffpack
  FFLAS-FFPACK - Finite Field Linear Algebra Subroutines / Package
  ☆63Updated 2 weeks ago
• flintlib / calcium
  Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆81Updated last year
• 4ti2 / 4ti2
  A software package for algebraic, geometric and combinatorial problems on linear spaces. By R. Hemmecke, R. Hemmecke, M. Köppe, P. Malkin…
  ☆41Updated 2 months ago
• Martin-Seysen / mmgroup
  Python implementation of the monster group
  ☆53Updated 3 weeks ago
• loda-lang / loda-programs
  LODA Programs for Integer Sequences
  ☆37Updated this week
• nilesjohnson / hopf_fibration
  Modifications of Niles Johnson's Hopf Fibration drawing code
  ☆36Updated 10 years ago
• blambov / RealLib
  Library for exact real number computations
  ☆40Updated 10 years ago
• homalg-project / homalg_project
  Deposited packages of the homalg project
  ☆16Updated 2 weeks ago
• mattcunningham / naive-apl
  Naive Bayesian Classifier written in APL
  ☆24Updated 7 years ago
• stokito / fortress-lang
  ☆57Updated 8 years ago
• REX-Computing / unumjl
  Julia Implementation of Unums
  ☆42Updated 8 years ago
• quil-lang / quil
  Specification of Quil: A Practical Quantum Instruction Set Architecture
  ☆119Updated last month
• 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
• stephenathel / gawxm
  Geometric Algebra using wxMaxima (GAwxM)
  ☆13Updated 2 months 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 4 months ago
• mjdominus / cf
  Continued fraction library
  ☆32Updated 5 years ago
• rocq-community / qarith-stern-brocot
  Binary rational numbers in Coq [maintainer=@herbelin]
  ☆14Updated last year
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆40Updated 3 months ago
• theoremprover-museum / logic-theorist
  The sources of the first theorem prover.
  ☆64Updated 8 years ago
• aldorlang / aldor
  The Aldor Programming Language
  ☆35Updated 7 months ago
• ptarau / TypesAndProofs
  Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
  ☆33Updated last year