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
• flintlib / antic
  Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆61Updated 2 years ago
• BRiAl / BRiAl
  Successor to PolyBoRi
  ☆19Updated 5 months ago
• passagemath / LiDIA
  LiDIA --- A library for computational number theory, developed 1994-2004 by Johannes Buchmann's group at TU Darmstadt, relicensed to GPL …
  ☆30Updated last week
• aisejohan / cring
  Johan's clone of the cring repository from http://cring.adeel.ru/
  ☆29Updated 11 years ago
• leanprover / lean2
  Lean theorem prover version 0.2 (it supports standard and HoTT modes)
  ☆120Updated 3 years ago
• Deducteam / Logipedia
  An encyclopedia of proofs
  ☆60Updated 6 months ago
• sagemath / cypari2
  Python interface to the number theory library PARI/GP. Source repository for https://pypi.org/project/cypari2/
  ☆30Updated 4 months ago
• gap-system / homebrew-gap
  Homebrew tap for GAP
  ☆14Updated 11 months ago
• andrejbauer / Homotopy
  Homotopy theory in Coq.
  ☆91Updated 14 years ago
• mishun / minisat-rust
  Experimental minisat SAT solver reimplementation in Rust
  ☆71Updated 5 years ago
• seL4 / isabelle
  git mirror of the Munich isabelle hg repository
  ☆123Updated this week
• cr-marcstevens / m4gb
  M4GB: Efficient Groebner Basis algorithm
  ☆55Updated 6 years ago
• jeffreyadams / atlasofliegroups
  Automatically exported from code.google.com/p/atlasofliegroups
  ☆32Updated this week
• jtassarotti / coq-proba
  A Probability Theory Library for the Coq Theorem Prover
  ☆54Updated last year
• vegard / sha1-sat
  SAT instance generator for SHA-1
  ☆49Updated 4 years ago
• rocq-community / bits
  A formalization of bitset operations in Coq and the corresponding axiomatization and extraction to OCaml native integers [maintainer=@ant…
  ☆23Updated last week
• b-mehta / combinatorics
  ☆23Updated 2 years ago
• cmu-phil / Spectral
  ☆46Updated last year
• homalg-project / homalg_project
  Deposited packages of the homalg project
  ☆13Updated last week
• ramonfmir / lean-scheme
  Schemes in Lean (v2)
  ☆43Updated 4 years ago
• flatsurf / e-antic
  Embedded algebraic number fields
  ☆13Updated this week
• windsteiger / Theorema
  Theorema: A System for Automated Reasoning (Theorem Proving) and Automated Theory Exploration based on Mathematica
  ☆73Updated 3 years ago
• colah / HaskSymb
  An Experiment in Haskell Symbolic Algebra
  ☆73Updated 12 years ago
• williamstein / ant
  Algebra Number Theory book
  ☆48Updated 3 years ago
• flypitch / flypitch
  A formal proof of the independence of the continuum hypothesis
  ☆124Updated 8 months ago
• math-comp / odd-order
  The formal proof of the Odd Order Theorem
  ☆30Updated 2 weeks ago
• rocq-community / bignums
  Coq library of arbitrarily large numbers, providing BigN, BigZ, BigQ that used to be part of the standard library [maintainers=@proux01,@…
  ☆22Updated 3 months ago
• HoTT / M-types
  A formalization of M-types in Agda
  ☆32Updated 5 years ago
• leanprover / theorem_proving_in_lean
  Theorem proving in Lean
  ☆49Updated 6 months ago