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
  ☆51Updated 4 months ago
• thoppe / Cayley-Dickson
  Cayley Dickson algebra implementation in python
  ☆12Updated 6 years ago
• metamath / metamath-book
  Source of metamath book
  ☆49Updated last year
• metamath / metamath-exe
  Metamath program - source code for the Metamath executable
  ☆82Updated last week
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆94Updated last year
• flintlib / calcium
  Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆80Updated last year
• nilesjohnson / hopf_fibration
  Modifications of Niles Johnson's Hopf Fibration drawing code
  ☆36Updated 10 years ago
• ascherer / cwebbin
  Literate Programming in C/C++
  ☆35Updated last week
• linbox-team / fflas-ffpack
  FFLAS-FFPACK - Finite Field Linear Algebra Subroutines / Package
  ☆62Updated 2 weeks ago
• FredMesnard / lptp
  LPTP: A Logic Program Theorem Prover, written by Robert F. Staerk in the mid 90's
  ☆11Updated 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
• blambov / RealLib
  Library for exact real number computations
  ☆40Updated 10 years ago
• fredrik-johansson / flint
  My copy of FLINT -- please use https://github.com/flintlib/flint/ for development
  ☆82Updated this week
• cseed / knotkit
  knot theory and computational algebra software
  ☆37Updated 11 years ago
• triska / trs
  Reason about Term Rewriting Systems
  ☆16Updated 3 years ago
• theoremprover-museum / prover9
  Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.
  ☆16Updated 7 years ago
• 4ti2 / 4ti2
  A software package for algebraic, geometric and combinatorial problems on linear spaces. By R. Hemmecke, R. Hemmecke, M. Köppe, P. Malkin…
  ☆39Updated 2 weeks ago
• ptarau / TypesAndProofs
  Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
  ☆33Updated last year
• stokito / fortress-lang
  ☆57Updated 8 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
• archmageirvine / joeis
  Java implementations of sequences in the OEIS
  ☆64Updated this week
• flintlib / arb
  Arb has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆465Updated last year
• IMAGINARY / SURFER
  Sources of Java version of SURFER (which uses JavaFX 1.3.1)
  ☆33Updated 7 years ago
• moiseevigor / elliptic
  Elliptic functions for Matlab and Octave
  ☆14Updated last month
• REX-Computing / unumjl
  Julia Implementation of Unums
  ☆42Updated 8 years ago
• imneme / mini-sk
  A Small Combinator-Reduction System
  ☆15Updated 5 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆40Updated 2 months ago
• Co-dfns / mystika
  High-end Cryptographic Library
  ☆44Updated 5 years 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