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
  ☆82Updated 2 months ago
• 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
• cseed / knotkit
  knot theory and computational algebra software
  ☆37Updated 11 years ago
• linbox-team / givaro
  Givaro - C++ library for arithmetic and algebraic computations
  ☆51Updated 3 months ago
• fredrik-johansson / flint
  My copy of FLINT -- please use https://github.com/flintlib/flint/ for development
  ☆82Updated 2 weeks ago
• metamath / metamath-book
  Source of metamath book
  ☆48Updated last year
• 3-manifolds / Spherogram
  Spherogram is a Python module for dealing with the kind of planar diagrams that arise in 3-dimensional topology, such as link and Heegaar…
  ☆22Updated last week
• ascherer / cwebbin
  Literate Programming in C/C++
  ☆33Updated 2 months ago
• nilesjohnson / hopf_fibration
  Modifications of Niles Johnson's Hopf Fibration drawing code
  ☆34Updated 10 years ago
• flintlib / calcium
  Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆80Updated last year
• stephenathel / gawxm
  Geometric Algebra using wxMaxima (GAwxM)
  ☆13Updated 3 months ago
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆94Updated 11 months ago
• skeeto / carpet-fractal-genetics
  Carpet fractal genetic algorithm
  ☆12Updated 7 years ago
• JUrban / MPTP2
  ☆19Updated 8 years ago
• polytypic / order-pp
  ☆15Updated 11 years ago
• ai4reason / ATP_Proofs
  Interesting ATP Proofs
  ☆13Updated 3 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆40Updated last month
• reduce-algebra / reduce-algebra
  reduce-algebra: a portable general-purpose computer algebra system, automatically mirrored from https://svn.code.sf.net/p/reduce-algebra/…
  ☆41Updated this week
• lileicc / swift
  A compiler for BLOG probabilistic programming language
  ☆26Updated 7 years ago
• linbox-team / linbox
  LinBox - C++ library for exact, high-performance linear algebra
  ☆91Updated 3 weeks ago
• eprover / eprover
  ☆146Updated this week
• SacBase / Stdlib
  This repository contains the Core and Extended source files of the Standard Library of the SaC programming language
  ☆15Updated 3 weeks ago
• Functional-AutoDiff / STALINGRAD
  Stalin∇, a brutally optimizing compiler for the VLAD language
  ☆76Updated 7 years ago
• sandialabs / Prove-It
  A tool for proving and organizing general theorems using Python.
  ☆29Updated this week
• IMAGINARY / SURFER
  Sources of Java version of SURFER (which uses JavaFX 1.3.1)
  ☆33Updated 7 years ago
• penguian / glucat
  GluCat: Clifford algebra templates
  ☆21Updated 4 months ago
• creachadair / imath
  Arbitrary precision integer and rational arithmetic library
  ☆145Updated 3 months ago
• nehmeier / libieeep1788
  C++ implementation of the preliminary IEEE P1788 standard for interval arithmetic
  ☆49Updated 10 years ago
• archmageirvine / joeis
  Java implementations of sequences in the OEIS
  ☆63Updated last week