vEnhance / napkin
An Infinitely Large Napkin
☆1,305Updated this week
Alternatives and similar repositories for napkin:
Users that are interested in napkin are comparing it to the libraries listed below
- amateur translation project of Grothendieck's EGA.☆337Updated 3 months ago
- LaTeX code for some of my lecture notes☆260Updated 2 years ago
- Inkscape figure manager☆597Updated 3 years ago
- Vim + LaTeX snippets setup☆1,064Updated last year
- My note taking setup scripts.☆399Updated 2 years ago
- A LaTeX Typesetting Game☆242Updated last week
- ✍️ A way to integrate LaTeX, VS Code, and Inkscape in macOS☆394Updated 3 months ago
- A few Mathematics Revision Cheat Sheets I've made on LaTeX.☆87Updated 2 months ago
- Inkscape shorcut manager☆385Updated 3 years ago
- Dot files for Evan Chen (Arch Linux on i3)☆115Updated 2 weeks ago
- Source files for https://web.evanchen.cc☆44Updated this week
- Group theory visualization software in the browser☆235Updated 10 months ago
- A simple visual editor for creating commutative diagrams.☆1,905Updated 4 years ago
- Olympiad problem database☆48Updated 2 weeks ago
- Master Thesis☆187Updated 3 years ago
- Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.☆295Updated 10 months ago
- Repository for the Stacks Project☆879Updated 4 months ago
- Chicago undergraduate mathematics bibliography☆699Updated 5 years ago
- My Cambridge Lecture Notes☆1,360Updated 6 months ago
- Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant☆225Updated last month
- A modern commutative diagram editor for the web.☆3,159Updated 3 weeks ago
- Book in preparation: introduction to theoretical computer science☆932Updated 10 months ago
- Haskell library for building declarative animations based on SVG graphics☆1,141Updated last year
- Collaboration / Topic requests for SoME☆211Updated last year
- An open-source, customizable intermediate logic textbook☆1,100Updated last month
- Planning for an entire maths LaTeX book☆214Updated last year
- A class for homework assignments written in LaTeX.☆152Updated 3 years ago
- An open-source Mathematica Kernel. This repository contains the Python modules for WL Built-in functions, variables, core primitives, e.g…☆1,067Updated this week
- pgf/TikZ diagram editor☆1,153Updated 9 months ago
- The user home repository for the Mathematics in Lean tutorial.☆294Updated last week