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.
  ☆377Updated 3 months ago
• b-mehta / maths-notes
  Lecture notes from Cambridge maths
  ☆72Updated 2 years ago
• vEnhance / napkin
  An Infinitely Large Napkin
  ☆1,803Updated last week
• gillescastel / lecture-notes
  LaTeX code for some of my lecture notes
  ☆381Updated 3 years ago
• 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
  ☆330Updated last year
• gillescastel / masterthesis
  Master Thesis
  ☆211Updated 4 years ago
• JuliaPoo / Cayley-Graph-Plotting
  A web UI that plots finite group Cayley Graphs in 3D
  ☆19Updated 2 years ago
• teorth / equational_theories
  A project to map out the relations between different equational theories of Magmas.
  ☆477Updated last week
• tripos-education / maths-tripos-questions
  Archive of questions from the Cambridge Mathematics Tripos
  ☆10Updated 3 years ago
• dog-blood / utterly-unorganized-latex-code
  latex code from my first year of engineering.
  ☆404Updated last year
• leanprover-community / mathematics_in_lean
  The user home repository for the Mathematics in Lean tutorial.
  ☆467Updated 6 months ago
• BhorisDhanjal / MathsRevisionCheatSheets
  A few Mathematics Revision Cheat Sheets I've made on LaTeX.
  ☆95Updated 2 months ago
• leanprover-community / lean4game
  Server to host lean games.
  ☆395Updated last week
• sleepymalc / VSCode-LaTeX-Inkscape
  ✍️ A way to integrate LaTeX, VS Code, and Inkscape in macOS
  ☆513Updated last year
• Name-Kompsky / tripos
  Cambridge Maths Tripos notes
  ☆37Updated 5 years ago
• zawagner22 / cross-entropy-for-combinatorics
  Code accompanying the manuscript "Constructions in combinatorics via neural networks and LP solvers".
  ☆57Updated 4 years ago
• teorth / pfr
  Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)
  ☆206Updated 2 weeks ago
• c-ding-math / functor-network
  a blog platform for mathematicians
  ☆18Updated 3 months ago
• nathancarter / group-explorer
  Group theory visualization software in the browser
  ☆274Updated last year
• stacks / stacks-project
  Repository for the Stacks Project
  ☆986Updated last week
• Macaulay2 / M2
  The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.
  ☆407Updated this week
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆261Updated 10 months ago
• ImperialCollegeLondon / FLT
  Ongoing Lean formalisation of the proof of Fermat's Last Theorem
  ☆806Updated last week
• teorth / analysis
  A Lean companion to Analysis I
  ☆1,503Updated this week
• PatrickMassot / leanblueprint
  plasTeX plugin to build formalization blueprints.
  ☆294Updated last month
• eigenchris / MathNotes
  ☆268Updated 3 months ago
• jeertmans / manim-slides
  Tool for live presentations using manim
  ☆767Updated this week
• PatrickMassot / GlimpseOfLean
  An introduction to theorem proving in Lean for the impatient.
  ☆329Updated this week
• Nicholas42 / AlgebraFranke
  Notes on the algebra courses taught by Jens Franke at the university of Bonn beginning in the summer semester 2017
  ☆17Updated 4 years ago