Alternatives and similar repositories for eclib

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

• JohnCremona / ecdata
  Data files containing the Cremona Database of all elliptic curves over Q of bounded conductor: see also http://www.lmfdb.org/EllipticCurv…
  ☆20Updated last year
• leanprover / theorem_proving_in_lean
  Theorem proving in Lean
  ☆49Updated 8 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 2 months ago
• BRiAl / BRiAl
  Successor to PolyBoRi
  ☆20Updated last month
• flintlib / antic
  Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆61Updated 2 years ago
• sagemath / cypari2
  Python interface to the number theory library PARI/GP. Source repository for https://pypi.org/project/cypari2/
  ☆28Updated 2 months ago
• jeffreyadams / atlasofliegroups
  Automatically exported from code.google.com/p/atlasofliegroups
  ☆32Updated this week
• cseed / knotkit
  knot theory and computational algebra software
  ☆37Updated 11 years ago
• symengine / symengine.hs
  Haskell bindings to SymEngine
  ☆26Updated last year
• homalg-project / homalg_project
  Deposited packages of the homalg project
  ☆15Updated 2 months ago
• diku-dk / futhark-benchmarks
  Various Futhark benchmark programs
  ☆42Updated last month
• williamstein / ant
  Algebra Number Theory book
  ☆48Updated 3 years ago
• aisejohan / cring
  Johan's clone of the cring repository from http://cring.adeel.ru/
  ☆29Updated 11 years ago
• probcomp / Venturecxx
  Primary implementation of the Venture probabilistic programming system
  ☆27Updated 5 years ago
• windsteiger / Theorema
  Theorema: A System for Automated Reasoning (Theorem Proving) and Automated Theory Exploration based on Mathematica
  ☆73Updated 3 years ago
• libsemigroups / libsemigroups
  C++ library for semigroups and monoids
  ☆47Updated last week
• vladimirias / Foundations
  Voevodsky's original development of the univalent foundations of mathematics in Coq
  ☆56Updated 10 years ago
• leanprover-community / lean-perfectoid-spaces
  Perfectoid spaces in the Lean formal theorem prover.
  ☆125Updated last year
• linbox-team / givaro
  Givaro - C++ library for arithmetic and algebraic computations
  ☆51Updated 3 months ago
• metamath / metamath-book
  Source of metamath book
  ☆48Updated last year
• leanprover / lean2
  Lean theorem prover version 0.2 (it supports standard and HoTT modes)
  ☆122Updated 3 years ago
• konn / computational-algebra
  General-Purpose Computer Algebra System as an EDSL in Haskell
  ☆92Updated 10 months ago
• Functional-AutoDiff / STALINGRAD
  Stalin∇, a brutally optimizing compiler for the VLAD language
  ☆76Updated 7 years ago
• seL4 / isabelle
  git mirror of the Munich isabelle hg repository
  ☆125Updated 2 months ago
• wellposed / hblas
  haskell bindings for blas and lapack
  ☆49Updated 7 years ago
• Normaliz / Normaliz
  Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.
  ☆49Updated last week
• andrejbauer / marshall
  Real number computation software
  ☆125Updated 2 years ago
• 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
• HoTT / coq
  Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theor…
  ☆27Updated last year
• b-mehta / combinatorics
  ☆23Updated 3 years ago