Alternatives and similar repositories for all

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

• vEnhance / napkin
  An Infinitely Large Napkin
  ☆1,762Updated this week
• ryankeleti / ega
  amateur translation project of Grothendieck's EGA.
  ☆369Updated last month
• b-mehta / maths-notes
  Lecture notes from Cambridge maths
  ☆71Updated last year
• gillescastel / lecture-notes
  LaTeX code for some of my lecture notes
  ☆371Updated 3 years ago
• gillescastel / masterthesis
  Master Thesis
  ☆207Updated 4 years ago
• vEnhance / von
  Olympiad problem database
  ☆54Updated last month
• Name-Kompsky / tripos
  Cambridge Maths Tripos notes
  ☆36Updated 5 years ago
• nathancarter / group-explorer
  Group theory visualization software in the browser
  ☆265Updated last year
• dtbinh / OpenCourse
  ☆172Updated 6 years ago
• leios / SoME_Topics
  Collaboration / Topic requests for SoME
  ☆211Updated 2 years ago
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆259Updated 8 months ago
• dog-blood / utterly-unorganized-latex-code
  latex code from my first year of engineering.
  ☆395Updated 10 months ago
• JuliaPoo / Cayley-Graph-Plotting
  A web UI that plots finite group Cayley Graphs in 3D
  ☆19Updated 2 years ago
• complex-analysis / complex-analysis.github.io
  Complex Analysis: A Visual and Interactive Introduction
  ☆204Updated 2 weeks ago
• eigenchris / MathNotes
  ☆257Updated last month
• jdujava / TeXtured
  A typographically elegant, clean, and structured LaTeX template.
  ☆237Updated 2 months ago
• sleepymalc / VSCode-LaTeX-Inkscape
  ✍️ A way to integrate LaTeX, VS Code, and Inkscape in macOS
  ☆501Updated last year
• vhbelvadi / LaTeX-lecture-notes-class
  A LaTeX document class for lecture notes—for a seminar, for an entire course with several lectures, or for brief talks.
  ☆105Updated 8 months ago
• leanprover-community / mathematics_in_lean
  The user home repository for the Mathematics in Lean tutorial.
  ☆437Updated 3 months ago
• stacks / stacks-project
  Repository for the Stacks Project
  ☆973Updated 2 weeks ago
• jeertmans / manim-slides
  Tool for live presentations using manim
  ☆728Updated this week
• JazonJiao / Manim.js
  Replicating 3Blue1Brown's math animation engine in JavaScript (p5.js)
  ☆425Updated 4 years ago
• goepigen / 8.01SC-Classical-Mechanics
  Completed MIT OCW 8.01SC
  ☆37Updated 3 years ago
• hrmacbeth / math2001
  Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
  ☆318Updated 11 months ago
• PatrikBak / GeoGen
  Automated generation of planar geometry olympiad problems
  ☆98Updated last week
• HEPLean / PhysLean
  A project to digitalise results from physics into Lean.
  ☆395Updated this week
• mikinty / Understanding-Analysis-Abbott-Solutions
  Unofficial solutions to Understanding Analysis by Stephen Abbott (1st Edition)
  ☆123Updated last year
• ImperialCollegeLondon / FLT
  Ongoing Lean formalisation of the proof of Fermat's Last Theorem
  ☆752Updated this week
• ImperialCollegeLondon / formalising-mathematics-2024
  Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.
  ☆239Updated 8 months ago
• brianamedee / Manim-Tutorials-2021
  ☆113Updated 4 years ago