Alternatives and similar repositories for number-theory

Users that are interested in number-theory are comparing it to the libraries listed below

• williamstein / ent
  Elementary Number Theory: Primes, Congruences, and Secrets
  ☆109Updated last year
• Ben-McKay / concrete-algebra
  A textbook of elementary undergraduate algebra with an emphasis on hand and computer computation, as a precursor to the usual big algebra…
  ☆83Updated last year
• bollu / notes
  Latex notes on papers, courses, ideas: Pure math and computer science.
  ☆61Updated last year
• jmoellermath / translate-SGAI
  Let's translate works of Grothendieck
  ☆26Updated 5 years ago
• oscarlevin / discrete-book
  An open textbook for Discrete Mathematics, as taught at the University of Northern Colorado
  ☆253Updated 3 weeks ago
• twjudson / aata
  Public repository for Abstact Algebra Theory and Applications
  ☆171Updated 3 weeks ago
• ryankeleti / ega
  amateur translation project of Grothendieck's EGA.
  ☆352Updated 9 months ago
• boazbk / tcscode
  Supplementary code for Introduction to Theoretical Computer Science book.
  ☆66Updated last year
• vEnhance / von
  Olympiad problem database
  ☆49Updated last month
• geohot / twitchcoq
  It's a poorly named metamath verifier
  ☆109Updated 4 years ago
• nculwell / MathStudy
  Info on resources for studying math, stats, CS, etc.
  ☆212Updated 2 years ago
• psibi / how-to-prove
  My Solution to Velleman's book
  ☆256Updated 7 months ago
• BhorisDhanjal / MathsRevisionCheatSheets
  A few Mathematics Revision Cheat Sheets I've made on LaTeX.
  ☆92Updated 8 months ago
• leanprover-community / lean-perfectoid-spaces
  Perfectoid spaces in the Lean formal theorem prover.
  ☆125Updated last year
• jirilebl / ra
  Basic Analysis, undergraduate real analysis textbook
  ☆77Updated last week
• aisejohan / cring
  Johan's clone of the cring repository from http://cring.adeel.ru/
  ☆29Updated 11 years ago
• kbuzzard / xena
  Lean Library currently studying for a degree at Imperial College
  ☆226Updated 5 months ago
• williamstein / ant
  Algebra Number Theory book
  ☆48Updated 3 years ago
• tcNickolas / puzzles
  A collection of puzzles I've created over the years
  ☆14Updated 4 years ago
• mooculus / calculus
  ☆146Updated 3 weeks ago
• LMFDB / lmfdb
  L-Functions and Modular Forms Database
  ☆273Updated this week
• stacks / stacks-project
  Repository for the Stacks Project
  ☆930Updated this week
• vEnhance / otis-web
  OTIS course management system
  ☆40Updated last week
• transmogrifier / eulerlib
  A library of recreational mathematics and number theory related functions inspired by Project Euler
  ☆18Updated 10 years ago
• GeoCoq / GeoCoq
  A formalization of geometry in Coq based on Tarski's axiom system
  ☆197Updated 2 months ago
• mavam / abstract-algebra-cheatsheet
  A visualization of key structures in abstract algebra.
  ☆156Updated 5 years ago
• manjunath5496 / Awesome-Math-Books
  "An equation for me has no meaning, unless it expresses a thought of God."― Srinivasa Ramanujan
  ☆79Updated 4 years ago
• b-mehta / maths-notes
  Lecture notes from Cambridge maths
  ☆68Updated last year
• archmageirvine / joeis
  Java implementations of sequences in the OEIS
  ☆63Updated this week
• Eronana / CodeforcesPDF
  All Codeforces problem in PDF
  ☆52Updated 2 years ago