Alternatives and similar repositories for all

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

• gillescastel / lecture-notes
  LaTeX code for some of my lecture notes
  ☆354Updated 3 years ago
• vEnhance / napkin
  An Infinitely Large Napkin
  ☆1,544Updated last week
• gillescastel / masterthesis
  Master Thesis
  ☆201Updated 3 years ago
• ryankeleti / ega
  amateur translation project of Grothendieck's EGA.
  ☆352Updated 9 months ago
• sleepymalc / VSCode-LaTeX-Inkscape
  ✍️ A way to integrate LaTeX, VS Code, and Inkscape in macOS
  ☆449Updated 8 months ago
• b-mehta / maths-notes
  Lecture notes from Cambridge maths
  ☆68Updated last year
• mikinty / Understanding-Analysis-Abbott-Solutions
  Unofficial solutions to Understanding Analysis by Stephen Abbott (1st Edition)
  ☆113Updated last year
• JuliaPoo / Cayley-Graph-Plotting
  A web UI that plots finite group Cayley Graphs in 3D
  ☆16Updated last year
• hrmacbeth / math2001
  Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
  ☆271Updated 7 months ago
• vEnhance / von
  Olympiad problem database
  ☆49Updated last month
• Adhumunt / NotesTeX
  NotesTeX (or its nickname NoTeX) is a simple LaTeX notes taking package for students.
  ☆495Updated 2 years ago
• gillescastel / inkscape-figures
  Inkscape figure manager
  ☆610Updated 3 years ago
• dog-blood / utterly-unorganized-latex-code
  latex code from my first year of engineering.
  ☆369Updated 5 months ago
• kisonecat / tikzjax
  TikZJax is TikZ running under WebAssembly in the browser
  ☆509Updated last year
• gillescastel / university-setup
  My note taking setup scripts.
  ☆428Updated 3 years ago
• gillescastel / latex-snippets
  Vim + LaTeX snippets setup
  ☆1,103Updated 2 years ago
• teorth / analysis
  A Lean companion to Analysis I
  ☆966Updated this week
• Einlar / latex_snippets
  Easy snippets to write faster LaTeX (in Visual Studio Code)
  ☆90Updated last year
• Name-Kompsky / tripos
  Cambridge Maths Tripos notes
  ☆36Updated 4 years ago
• AareyanManzoor / Matsumura-Commutative-Algebra
  This it the TeX of Matsumura Commutative Algebra, TeX'd by the TeXromancers
  ☆24Updated last year
• leanprover-community / mathematics_in_lean
  The user home repository for the Mathematics in Lean tutorial.
  ☆383Updated last week
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆252Updated 3 months ago
• ImperialCollegeLondon / FLT
  Ongoing Lean formalisation of the proof of Fermat's Last Theorem
  ☆502Updated last week
• ImperialCollegeLondon / formalising-mathematics-2024
  Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.
  ☆219Updated 4 months ago
• BhorisDhanjal / MathsRevisionCheatSheets
  A few Mathematics Revision Cheat Sheets I've made on LaTeX.
  ☆92Updated 8 months ago
• automorphic-project / automorphic-project
  All the math/tex files for the Automorphic Project
  ☆19Updated last year
• alfredholmes / TeXNotes
  Zettelkasten or Slip box with notes written in LaTeX
  ☆70Updated 2 weeks ago
• AareyanManzoor / Characteristic-Classes
  ☆11Updated last year
• jdujava / TeXtured
  LaTeX Template
  ☆167Updated this week
• nathancarter / group-explorer
  Group theory visualization software in the browser
  ☆253Updated last year