An Infinitely Large Napkin
☆1,857Apr 11, 2026Updated last 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☆45Apr 13, 2026Updated last week
- An online math contest platform☆21Jan 18, 2026Updated 3 months ago
- Source files for https://web.evanchen.cc☆63Updated this week
- Olympiad problem database☆56Apr 8, 2026Updated last week
- Dot files for Evan Chen (Arch Linux on i3)☆133Updated this week
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- MIT 18.02 lecture notes on multivar☆28Apr 3, 2026Updated 2 weeks ago
- 📝 Solutions of "An Infinitely Large Napkin"☆41Mar 22, 2026Updated 3 weeks ago
- Repository for the Stacks Project☆1,003Jan 30, 2026Updated 2 months ago
- Asymptote preprocessor☆17Apr 8, 2026Updated last week
- Lecture notes from Cambridge maths☆73Feb 1, 2024Updated 2 years ago
- Art of Problem Solving Wiki reader, focused on showing and filtering problems by subject, test, difficulty, etc.☆50Updated this week
- My Cambridge Lecture Notes☆1,480Jul 14, 2024Updated last year
- Lean 4 programming language and theorem prover☆7,804Updated this week
- A LaTeX Typesetting Game☆264Mar 31, 2025Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- An open-source, customizable intermediate logic textbook☆1,277Mar 28, 2026Updated 3 weeks ago
- A textbook on informal homotopy type theory☆2,143Nov 23, 2025Updated 4 months ago
- A minimal setup required script to improve AoPS☆10May 12, 2024Updated last year
- A markup-based typesetting system that is powerful and easy to learn.☆52,813Updated this week
- Virtual notebook that Evan uses for his PhD thesis.☆10Apr 11, 2026Updated last week
- A modern commutative diagram editor for the web.☆3,524Apr 10, 2026Updated last week
- Create beautiful diagrams just by typing notation in plain text.☆7,934Apr 12, 2026Updated last week
- This repository contains the source html files for the website complex-analysis.com☆18Mar 4, 2026Updated last month
- amateur translation project of Grothendieck's EGA.☆385Oct 15, 2025Updated 6 months ago
- Serverless GPU API endpoints on Runpod - Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Automated generation of planar geometry olympiad problems☆106Mar 26, 2026Updated 3 weeks ago
- Lean 3's obsolete mathematical components library: please use mathlib4☆1,664Jun 28, 2024Updated last year
- Olympiad GeoGuessr☆18Apr 8, 2026Updated last week
- Vim + LaTeX snippets setup☆1,164Apr 30, 2023Updated 2 years ago
- The math library of Lean 4☆3,178Updated this week
- Public repository for Abstact Algebra Theory and Applications☆181Jan 18, 2026Updated 3 months ago
- The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, ex…☆5,404Apr 10, 2026Updated last week
- Happy Campus Life☆260Aug 26, 2021Updated 4 years ago
- ☆14Feb 26, 2024Updated 2 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A curated list of awesome mathematics resources☆14,415Apr 6, 2026Updated last week
- Cambridge Maths Tripos notes☆37Oct 14, 2020Updated 5 years ago
- Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source☆11,559Apr 8, 2026Updated last week
- Animation engine for explanatory math videos☆86,117Updated this week
- An introduction to programming language theory in Agda☆1,500Updated this week
- Methods in Algebra (Volume 1): A Chinese textbook on Algebra☆505Nov 11, 2025Updated 5 months ago
- Embed LaTeX in standards-compliant markdown.☆215Sep 8, 2015Updated 10 years ago