Alternatives and similar repositories for anant

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

• metamath / metamath-exe
  Metamath program - source code for the Metamath executable
  ☆88Updated 3 months ago
• flintlib / antic
  Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆62Updated 2 years ago
• flintlib / calcium
  Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆82Updated last year
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆91Updated last week
• fredrik-johansson / flint
  My copy of FLINT -- please use https://github.com/flintlib/flint/ for development
  ☆82Updated last week
• creachadair / imath
  Arbitrary precision integer and rational arithmetic library
  ☆150Updated last month
• flintlib / arb
  Arb has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆471Updated last year
• ascherer / cwebbin
  Literate Programming in C/C++
  ☆36Updated 3 months ago
• Singular / Singular
  sources for the Singular computer algebra system
  ☆294Updated this week
• metamath / metamath-book
  Source of metamath book
  ☆51Updated last year
• archmageirvine / joeis
  Java implementations of sequences in the OEIS
  ☆65Updated this week
• PeterLuschny / Fast-Factorial-Functions
  Swing, divide and conquer the factorial!
  ☆81Updated 3 years ago
• LLNL / yorick
  yorick interpreted language
  ☆82Updated 7 months ago
• 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
• CRGreathouse / PARI-extensions
  Material for PARI/GP: new functions, some scripts, and syntax highlighting.
  ☆11Updated 2 years ago
• eprover / eprover
  ☆154Updated 3 weeks ago
• FredMesnard / lptp
  LPTP: A Logic Program Theorem Prover, written by Robert F. Staerk in the mid 1990's
  ☆14Updated 2 months ago
• cseed / knotkit
  knot theory and computational algebra software
  ☆38Updated 11 years 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
• pablolessa / dibujos_hiperbolicos
  A python tool to create drawings in the hyperbolic disk (e.g. for inclusion in LaTex documents). The output is either a Tikz figure (a .…
  ☆10Updated 2 years ago
• codereport / jsource
  J Language Source Code. Livestream links ⬇️
  ☆38Updated 3 years ago
• digama0 / mmj2
  mmj2 GUI Proof Assistant for the Metamath project
  ☆75Updated last year
• 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
• linbox-team / givaro
  Givaro - C++ library for arithmetic and algebraic computations
  ☆52Updated last month
• davidjbacon / SETL
  GNU SETL
  ☆35Updated 9 months ago
• jakobmoosbauer / flips
  ☆14Updated last month
• metamath / set.mm
  Metamath source file for logic and set theory
  ☆296Updated this week
• dubrousky / mockmma
  ☆30Updated 7 years ago
• fricas / fricas
  Official repository of the FriCAS computer algebra system
  ☆350Updated 2 weeks ago
• imneme / mini-sk
  A Small Combinator-Reduction System
  ☆16Updated 5 years ago