An Infinitely Large Napkin
☆1,965Sep 19, 2026Updated this week
Alternatives and similar repositories for napkin
Users that are interested in napkin are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- OTIS course management system☆47Updated this week
- An online math contest platform☆20Updated this week
- Source files for https://web.evanchen.cc☆68Updated this week
- Olympiad problem database☆61Updated this week
- Dot files for Evan Chen (Arch Linux on i3)☆140Updated this week
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- MIT 18.02 lecture notes on multivar☆32Updated this week
- 📝 Solutions of "An Infinitely Large Napkin"☆45Updated this week
- Repository for the Stacks Project☆1,050Jul 28, 2026Updated last month
- Asymptote preprocessor☆19Jul 22, 2026Updated last month
- Art of Problem Solving Wiki reader, focused on showing and filtering problems by subject, test, difficulty, etc.☆54Updated this week
- Lecture notes from Cambridge maths☆77Feb 1, 2024Updated 2 years ago
- The math library of Lean 4☆4,149Updated this week
- My Cambridge Lecture Notes☆1,523Jul 14, 2024Updated 2 years ago
- Lean 4 programming language and theorem prover☆9,224Updated this week
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A Lean companion to Analysis I☆1,926Sep 5, 2026Updated 2 weeks ago
- Cambridge Maths Tripos notes☆36Oct 14, 2020Updated 5 years ago
- A LaTeX Typesetting Game☆342Apr 29, 2026Updated 4 months ago
- A minimal setup required script to improve AoPS☆10May 12, 2024Updated 2 years ago
- An open-source, customizable intermediate logic textbook☆1,365Aug 14, 2026Updated last month
- A markup-based typesetting system that is powerful and easy to learn.☆56,124Updated this week
- Virtual notebook that Evan uses for his PhD thesis.☆12May 26, 2026Updated 3 months ago
- ☆14Feb 26, 2024Updated 2 years ago
- A modern commutative diagram editor for the web.☆3,621Sep 1, 2026Updated 2 weeks ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Create beautiful diagrams just by typing notation in plain text.☆7,981Aug 31, 2026Updated 2 weeks ago
- This repository contains the source html files for the website complex-analysis.com☆19Sep 10, 2026Updated last week
- amateur translation project of Grothendieck's EGA.☆406Jun 24, 2026Updated 2 months ago
- Olympiad GeoGuessr☆18Sep 10, 2026Updated last week
- Vim + LaTeX snippets setup☆1,178Apr 30, 2023Updated 3 years ago
- Lean 3's obsolete mathematical components library: please use mathlib4☆1,659Jun 28, 2024Updated 2 years ago
- Public repository for Abstact Algebra Theory and Applications☆194Sep 6, 2026Updated 2 weeks ago
- The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, ex…☆5,580Updated this week
- 📚 (WIP) Formal proofs of "An Infinitely Large Napkin"☆29Aug 1, 2026Updated last month
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Animation engine for explanatory math videos☆94,070Sep 9, 2026Updated last week
- A textbook on informal homotopy type theory☆2,168Jun 18, 2026Updated 3 months ago
- An introduction to programming language theory in Agda☆1,514Updated this week
- A project to map out the relations between different equational theories of Magmas.☆558Sep 12, 2026Updated last week
- Methods in Algebra (Volume 1): A Chinese textbook on Algebra☆515Jul 24, 2026Updated last month
- For A+B (MC) for Real Final Ghudegy Cup 2☆22Mar 28, 2020Updated 6 years ago
- Sioyek is a PDF viewer with a focus on textbooks and research papers☆9,873Updated this week