Alternatives and similar repositories for napkin

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

• ryankeleti / ega
  amateur translation project of Grothendieck's EGA.
  ☆347Updated 7 months ago
• gillescastel / lecture-notes
  LaTeX code for some of my lecture notes
  ☆343Updated 3 years ago
• gillescastel / masterthesis
  Master Thesis
  ☆198Updated 3 years ago
• stacks / stacks-project
  Repository for the Stacks Project
  ☆913Updated 8 months ago
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆249Updated 2 months ago
• ImperialCollegeLondon / FLT
  Ongoing Lean formalisation of the proof of Fermat's Last Theorem
  ☆455Updated this week
• dalcde / cam-notes
  My Cambridge Lecture Notes
  ☆1,405Updated 10 months ago
• vEnhance / von
  Olympiad problem database
  ☆48Updated last month
• gillescastel / inkscape-shortcut-manager
  Inkscape shorcut manager
  ☆395Updated 3 years ago
• vEnhance / web.evanchen.cc
  Source files for https://web.evanchen.cc
  ☆45Updated last week
• leanprover-community / mathlib3
  Lean 3's obsolete mathematical components library: please use mathlib4
  ☆1,667Updated 11 months ago
• hrmacbeth / math2001
  Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
  ☆254Updated 5 months ago
• boazbk / tcs
  Book in preparation: introduction to theoretical computer science
  ☆959Updated last year
• PreTeXtBook / pretext
  PreTeXt: an authoring and publishing system for scholarly documents
  ☆288Updated this week
• gillescastel / latex-snippets
  Vim + LaTeX snippets setup
  ☆1,094Updated 2 years ago
• ImperialCollegeLondon / natural_number_game
  Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.
  ☆296Updated last year
• sleepymalc / VSCode-LaTeX-Inkscape
  ✍️ A way to integrate LaTeX, VS Code, and Inkscape in macOS
  ☆438Updated 7 months ago
• teorth / equational_theories
  A project to map out the relations between different equational theories of Magmas.
  ☆356Updated this week
• edemaine / coauthor
  Coauthor supercollaboration/discussion forum
  ☆261Updated 2 months ago
• b-mehta / maths-notes
  Lecture notes from Cambridge maths
  ☆69Updated last year
• OpenLogicProject / OpenLogic
  An open-source, customizable intermediate logic textbook
  ☆1,157Updated 2 months ago
• leanprover-community / mathematics_in_lean
  The user home repository for the Mathematics in Lean tutorial.
  ☆354Updated 3 weeks ago
• leanprover-community / mathlib4
  The math library of Lean 4
  ☆2,006Updated this week
• leanprover-community / lean
  Lean 3 Theorem Prover (community fork)
  ☆434Updated last year
• Adhumunt / NotesTeX
  NotesTeX (or its nickname NoTeX) is a simple LaTeX notes taking package for students.
  ☆487Updated 2 years ago
• brucemiller / LaTeXML
  LaTeXML: a TeX and LaTeX to XML/HTML/ePub/MathML translator.
  ☆1,083Updated this week
• mikinty / Understanding-Analysis-Abbott-Solutions
  Unofficial solutions to Understanding Analysis by Stephen Abbott (1st Edition)
  ☆112Updated last year
• gillescastel / university-setup
  My note taking setup scripts.
  ☆423Updated 2 years ago
• varkor / quiver
  A modern commutative diagram editor for the web.
  ☆3,256Updated this week
• gillescastel / inkscape-figures
  Inkscape figure manager
  ☆609Updated 3 years ago