Alternatives and similar repositories for ent

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

• twjudson / aata
  Public repository for Abstact Algebra Theory and Applications
  ☆172Updated 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
• jmoellermath / translate-SGAI
  Let's translate works of Grothendieck
  ☆26Updated 5 years ago
• rbeezer / fcla
  "A First Course in Linear Algebra" open source textbook
  ☆67Updated 3 weeks ago
• williamstein / rh
  Riemann Hypothesis book
  ☆75Updated 7 years ago
• jirilebl / ra
  Basic Analysis, undergraduate real analysis textbook
  ☆78Updated this week
• math-comp / mcb
  Mathematical Components (the Book)
  ☆146Updated last year
• DavidMichaelRoberts / AlgebraicTopology2019
  Course notes for Pure Mathematics Topic D 2019
  ☆53Updated 5 years ago
• 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
• iblech / internal-methods
  Notes on how to use the internal language of toposes in algebraic geometry
  ☆59Updated last month
• byorgey / species
  ☆17Updated last year
• mitchkeller / applied-combinatorics
  Applied Combinatorics by Mitchel T. Keller and William T. Trotter
  ☆29Updated 2 weeks ago
• LMFDB / lmfdb
  L-Functions and Modular Forms Database
  ☆273Updated last week
• windsteiger / Theorema
  Theorema: A System for Automated Reasoning (Theorem Proving) and Automated Theory Exploration based on Mathematica
  ☆73Updated 3 years ago
• leanprover-community / lean-perfectoid-spaces
  Perfectoid spaces in the Lean formal theorem prover.
  ☆125Updated last year
• OpenLogicProject / forallx
  P.D. Magnus' forallx logic textbook
  ☆67Updated 4 months ago
• rocq-community / math-classes
  A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters,@Lysxia]
  ☆166Updated 2 weeks ago
• teorth / QED
  Repository for the QED interactive text and possible extensions
  ☆103Updated 6 months ago
• thescrivener / PursuingStacks
  LaTeX version of Grothendieck's Pursuing Stacks
  ☆49Updated 3 years ago
• semigroups / Semigroups
  The GAP package Semigroups
  ☆26Updated 2 weeks ago
• dcernst / IBL-AbstractAlgebra
  IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.
  ☆74Updated last year
• leanprover / lean2
  Lean theorem prover version 0.2 (it supports standard and HoTT modes)
  ☆122Updated 3 years ago
• andrejbauer / Homotopy
  Homotopy theory in Coq.
  ☆89Updated 14 years ago
• rzach / forallx-yyc
  UCalgary version of forallx, an introduction to formal logic
  ☆108Updated last month
• 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 3 months ago
• b-mehta / maths-notes
  Lecture notes from Cambridge maths
  ☆69Updated last year
• flyspeck / flyspeck
  The formal proof of the Kepler conjecture
  ☆159Updated last year
• jirilebl / ca
  Graduate level course on complex analysis in one variable: Guide to Cultivating Complex Analysis
  ☆11Updated this week
• holdenlee / number-theory
  Open-source number theory textbook
  ☆61Updated 11 months ago