Alternatives and similar repositories for math-solutions

Users that are interested in math-solutions are comparing it to the libraries listed below

• ryankeleti / ega
  amateur translation project of Grothendieck's EGA.
  ☆352Updated 9 months ago
• gillescastel / lecture-notes
  LaTeX code for some of my lecture notes
  ☆354Updated 3 years ago
• b-mehta / maths-notes
  Lecture notes from Cambridge maths
  ☆68Updated last year
• Name-Kompsky / tripos
  Cambridge Maths Tripos notes
  ☆36Updated 4 years ago
• gillescastel / masterthesis
  Master Thesis
  ☆201Updated 3 years ago
• vEnhance / web.evanchen.cc
  Source files for https://web.evanchen.cc
  ☆48Updated this week
• hooyuser / Solution-to-Algebra-Chapter-0
  Solution to Algebra, Chapter 0
  ☆92Updated 3 months ago
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆252Updated 3 months ago
• AareyanManzoor / Matsumura-Commutative-Algebra
  This it the TeX of Matsumura Commutative Algebra, TeX'd by the TeXromancers
  ☆24Updated last year
• gruvw / latex-setup
  My setup for writing LaTeX documents
  ☆26Updated last year
• vEnhance / von
  Olympiad problem database
  ☆49Updated last month
• hrmacbeth / math2001
  Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
  ☆271Updated 7 months ago
• jopetty / lecture-notes
  A compilation of lecture notes
  ☆15Updated 6 years ago
• BhorisDhanjal / MathsRevisionCheatSheets
  A few Mathematics Revision Cheat Sheets I've made on LaTeX.
  ☆92Updated 8 months ago
• stacks / stacks-project
  Repository for the Stacks Project
  ☆930Updated this week
• kisonecat / tikzjax
  TikZJax is TikZ running under WebAssembly in the browser
  ☆509Updated last year
• leios / SoME_Topics
  Collaboration / Topic requests for SoME
  ☆210Updated 2 years ago
• jirilebl / ra
  Basic Analysis, undergraduate real analysis textbook
  ☆77Updated this week
• rashidtalha / latex-templates
  A handmade collection of latex templates, classes and style files
  ☆52Updated last week
• vEnhance / dotfiles
  Dot files for Evan Chen (Arch Linux on i3)
  ☆118Updated 3 weeks ago
• drgrice1 / tikzjax
  TikZJax is TikZ running under WebAssembly in the browser
  ☆25Updated 6 months ago
• zeramorphic / cambridge-maths-notes
  LaTeX sources for notes for the maths courses at Cambridge.
  ☆104Updated last year
• nathancarter / group-explorer
  Group theory visualization software in the browser
  ☆253Updated last year
• leanprover-community / mathematics_in_lean
  The user home repository for the Mathematics in Lean tutorial.
  ☆383Updated last week
• vEnhance / tsqx
  Asymptote preprocessor
  ☆16Updated last month
• mbertucci47 / keytheorems
  A LaTeX package to use amsthm with a key-value interface
  ☆21Updated 2 weeks ago
• ImperialCollegeLondon / formalising-mathematics-2022
  Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…
  ☆119Updated last year
• sohamch08 / LaTeX
  All My LaTeX Works till Now are here all togather.
  ☆131Updated 2 months ago
• ImperialCollegeLondon / FLT
  Ongoing Lean formalisation of the proof of Fermat's Last Theorem
  ☆502Updated last week
• AMouri / artin-algebra
  Solutions to Algebra, by Michael Artin.
  ☆34Updated 8 years ago