notzeb / allLinks
all my notes in one place
☆12Updated 3 weeks ago
Alternatives and similar repositories for all
Users that are interested in all are comparing it to the libraries listed below
Sorting:
- amateur translation project of Grothendieck's EGA.☆354Updated 9 months ago
- LaTeX code for some of my lecture notes☆355Updated 3 years ago
- latex code from my first year of engineering.☆371Updated 6 months ago
- An Infinitely Large Napkin☆1,560Updated last month
- Master Thesis☆203Updated 3 years ago
- Lecture notes from Cambridge maths☆70Updated last year
- ✍️ A way to integrate LaTeX, VS Code, and Inkscape in macOS☆453Updated 9 months ago
- Cambridge Maths Tripos notes☆36Updated 4 years ago
- Repository for the Stacks Project☆935Updated this week
- TikZJax is TikZ running under WebAssembly in the browser☆514Updated last year
- Tool for live presentations using manim☆658Updated last week
- Olympiad problem database☆52Updated last week
- Inkscape figure manager☆614Updated 3 years ago
- Solutions to various math textbooks☆18Updated 10 years ago
- ☆163Updated 6 years ago
- All the math/tex files for the Automorphic Project☆19Updated last year
- My note taking setup scripts.☆429Updated 3 years ago
- A web UI that plots finite group Cayley Graphs in 3D☆16Updated last year
- ☆252Updated last year
- A LaTeX Typesetting Game☆256Updated 4 months ago
- The user home repository for the Mathematics in Lean tutorial.☆391Updated last month
- Completed MIT OCW 8.01SC☆34Updated 3 years ago
- A component library for ManimCE, supporting component composition and automatic animation. Supports declarative syntax for writing compon…☆50Updated last month
- A project to digitalise results from physics into Lean.☆308Updated this week
- Collaboration / Topic requests for SoME☆210Updated 2 years ago
- Group theory visualization software in the browser☆253Updated last year
- Lean Library currently studying for a degree at Imperial College☆226Updated 5 months ago
- Ongoing Lean formalisation of the proof of Fermat's Last Theorem☆625Updated this week
- Recommended textbooks from my undergrad at Imperial College London☆91Updated 5 years ago
- Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant☆275Updated 8 months ago