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
• seL4 / isabelle
  git mirror of the Munich isabelle hg repository
  ☆126Updated this week
• flintlib / antic
  Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆61Updated 2 years 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
• leanprover / theorem_proving_in_lean
  Theorem proving in Lean
  ☆49Updated 11 months ago
• andrejbauer / Homotopy
  Homotopy theory in Coq.
  ☆89Updated 14 years ago
• zxcalc / quantomatic
  Quantomatic is a tool for doing automated graph rewriting.
  ☆165Updated 5 years ago
• cseed / knotkit
  knot theory and computational algebra software
  ☆38Updated 11 years ago
• flyspeck / flyspeck
  The formal proof of the Kepler conjecture
  ☆163Updated last year
• project-everest / mitls-fstar
  Verified implementation of TLS 1.3 in F*
  ☆177Updated 7 months ago
• vladimirias / Foundations
  Voevodsky's original development of the univalent foundations of mathematics in Coq
  ☆56Updated 11 years ago
• windsteiger / Theorema
  Theorema: A System for Automated Reasoning (Theorem Proving) and Automated Theory Exploration based on Mathematica
  ☆73Updated 4 years ago
• aisejohan / cring
  Johan's clone of the cring repository from http://cring.adeel.ru/
  ☆28Updated 12 years ago
• leanprover / lean2
  Lean theorem prover version 0.2 (it supports standard and HoTT modes)
  ☆122Updated 3 years ago
• byorgey / species
  ☆17Updated last year
• andrejbauer / marshall
  Real number computation software
  ☆127Updated 3 years ago
• flypitch / flypitch
  A formal proof of the independence of the continuum hypothesis
  ☆133Updated last year
• leanprover-community / lean-perfectoid-spaces
  Perfectoid spaces in the Lean formal theorem prover.
  ☆125Updated last year
• sagemath / cypari2
  Python interface to the number theory library PARI/GP. Source repository for https://pypi.org/project/cypari2/
  ☆29Updated last week
• cmu-phil / Spectral
  ☆47Updated 2 years ago
• jeffreyadams / atlasofliegroups
  Automatically exported from code.google.com/p/atlasofliegroups
  ☆32Updated this week
• williamstein / ant
  Algebra Number Theory book
  ☆48Updated 3 years ago
• 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
• isabelle-prover / mirror-isabelle
  Git mirror of https://isabelle.in.tum.de/repos/isabelle
  ☆72Updated this week
• rems-project / lem
  Lem semantic definition language
  ☆146Updated 6 months ago
• math-comp / mcb
  Mathematical Components (the Book)
  ☆147Updated last week
• UniMath / TypeTheory
  The mathematical study of type theories, in univalent foundations
  ☆117Updated 7 months ago
• iblech / internal-methods
  Notes on how to use the internal language of toposes in algebraic geometry
  ☆59Updated last week
• b-mehta / combinatorics
  ☆23Updated 3 years ago
• mit-plv / fiat
  Mostly Automated Synthesis of Correct-by-Construction Programs
  ☆154Updated last month