Alternatives and similar repositories for all

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

• ryankeleti / ega
  amateur translation project of Grothendieck's EGA.
  ☆364Updated 2 weeks ago
• vEnhance / napkin
  An Infinitely Large Napkin
  ☆1,730Updated 3 weeks ago
• gillescastel / lecture-notes
  LaTeX code for some of my lecture notes
  ☆365Updated 3 years ago
• gillescastel / masterthesis
  Master Thesis
  ☆204Updated 4 years ago
• sleepymalc / VSCode-LaTeX-Inkscape
  ✍️ A way to integrate LaTeX, VS Code, and Inkscape in macOS
  ☆497Updated last year
• gillescastel / university-setup
  My note taking setup scripts.
  ☆436Updated 3 years ago
• gillescastel / inkscape-figures
  Inkscape figure manager
  ☆624Updated 3 years ago
• b-mehta / maths-notes
  Lecture notes from Cambridge maths
  ☆71Updated last year
• Name-Kompsky / tripos
  Cambridge Maths Tripos notes
  ☆36Updated 5 years ago
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆258Updated 6 months ago
• dog-blood / utterly-unorganized-latex-code
  latex code from my first year of engineering.
  ☆390Updated 9 months ago
• HEPLean / PhysLean
  A project to digitalise results from physics into Lean.
  ☆375Updated this week
• automorphic-project / automorphic-project
  All the math/tex files for the Automorphic Project
  ☆19Updated last year
• hrmacbeth / math2001
  Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
  ☆308Updated 10 months ago
• vEnhance / web.evanchen.cc
  Source files for https://web.evanchen.cc
  ☆58Updated last week
• zhaoshenzhai / mathwiki
  A statically-generated site to host my math course notes in university.
  ☆453Updated 4 months ago
• leanprover-community / mathematics_in_lean
  The user home repository for the Mathematics in Lean tutorial.
  ☆423Updated 2 months ago
• vEnhance / von
  Olympiad problem database
  ☆53Updated 3 weeks ago
• kisonecat / tikzjax
  TikZJax is TikZ running under WebAssembly in the browser
  ☆526Updated last year
• thosgood / fga
  An English translation of Grothendieck's Fondements de la Géometrie Algébrique
  ☆18Updated 10 months ago
• gillescastel / inkscape-shortcut-manager
  Inkscape shorcut manager
  ☆407Updated 3 years ago
• jdujava / TeXtured
  A typographically elegant, clean, and structured LaTeX template.
  ☆224Updated last month
• ImperialCollegeLondon / FLT
  Ongoing Lean formalisation of the proof of Fermat's Last Theorem
  ☆723Updated last week
• c-ding-math / functor-network
  a blog platform for mathematicians
  ☆18Updated 2 weeks ago
• goepigen / 8.01SC-Classical-Mechanics
  Completed MIT OCW 8.01SC
  ☆37Updated 3 years ago
• Macaulay2 / M2
  The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.
  ☆394Updated this week
• nathancarter / group-explorer
  Group theory visualization software in the browser
  ☆258Updated last year
• dtbinh / OpenCourse
  ☆170Updated 6 years ago
• ak2316-cam / tripos-lecture-notes
  My collection of handouts and lecture notes (finished and unfinished)
  ☆30Updated 2 years ago
• jubnoske08 / linear_algebra
  Solutions to Linear Algebra Done Right, by Sheldon Axler.
  ☆366Updated 5 months ago