vEnhance / napkinLinks
An Infinitely Large Napkin
☆1,560Updated last month
Alternatives and similar repositories for napkin
Users that are interested in napkin are comparing it to the libraries listed below
Sorting:
- LaTeX code for some of my lecture notes☆355Updated 3 years ago
- My Cambridge Lecture Notes☆1,423Updated last year
- amateur translation project of Grothendieck's EGA.☆354Updated 9 months ago
- Repository for the Stacks Project☆935Updated this week
- A Lean companion to Analysis I☆1,098Updated this week
- Lean 3's obsolete mathematical components library: please use mathlib4☆1,669Updated last year
- A LaTeX Typesetting Game☆256Updated 4 months ago
- Ongoing Lean formalisation of the proof of Fermat's Last Theorem☆625Updated this week
- Master Thesis☆203Updated 3 years ago
- Book in preparation: introduction to theoretical computer science☆971Updated last year
- Olympiad problem database☆52Updated last week
- Source files for https://web.evanchen.cc☆51Updated last week
- Art of Problem Solving Wiki reader, focused on showing and filtering problems by subject, test, difficulty, etc.☆48Updated this week
- A few Mathematics Revision Cheat Sheets I've made on LaTeX.☆91Updated 9 months ago
- The math library of Lean 4☆2,238Updated this week
- Cambridge Maths Tripos notes☆36Updated 4 years ago
- ✍️ A way to integrate LaTeX, VS Code, and Inkscape in macOS☆453Updated 9 months ago
- My note taking setup scripts.☆429Updated 3 years ago
- Automated generation of planar geometry olympiad problems☆94Updated 2 years ago
- TikZJax is TikZ running under WebAssembly in the browser☆514Updated last year
- A LaTeX class for books, reports or theses based on https://github.com/kenohori/thesis and https://github.com/Tufte-LaTeX/tufte-latex.☆981Updated 3 months ago
- A class for homework assignments written in LaTeX.☆152Updated 4 years ago
- This is a collation of freely and publicly available resources for STEP Prep collated into a useful central repository☆49Updated last year
- OTIS course management system☆42Updated this week
- Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant☆275Updated 8 months ago
- An online math contest platform☆21Updated 4 months ago
- Dot files for Evan Chen (Arch Linux on i3)☆120Updated last week
- pgf/TikZ diagram editor☆1,186Updated last year
- A simple visual editor for creating commutative diagrams.☆1,942Updated 4 years ago
- A Portable Graphic Format for TeX☆1,248Updated last month