vEnhance / vonLinks
Olympiad problem database
☆54Updated this week
Alternatives and similar repositories for von
Users that are interested in von are comparing it to the libraries listed below
Sorting:
- Dot files for Evan Chen (Arch Linux on i3)☆127Updated this week
- A LaTeX Typesetting Game☆261Updated 9 months ago
- Automated generation of planar geometry olympiad problems☆101Updated last month
- Source files for https://web.evanchen.cc☆62Updated this week
- OTIS course management system☆45Updated this week
- Asymptote preprocessor☆18Updated this week
- Lecture notes from Cambridge maths☆72Updated last year
- My personal LaTeX template, with sensible formatting and commands☆16Updated 3 years ago
- An online math contest platform☆22Updated 3 months ago
- Olympiad GeoGuessr☆18Updated last week
- A few Mathematics Revision Cheat Sheets I've made on LaTeX.☆95Updated last month
- A computer algebra system for research in combinatorial game theory☆54Updated last year
- Listing of online math seminars☆43Updated 2 months ago
- amateur translation project of Grothendieck's EGA.☆371Updated 2 months ago
- Virtual notebook that Evan uses for his PhD thesis.☆11Updated 3 months ago
- Repository for the QED interactive text and possible extensions☆112Updated 11 months ago
- Source code for the nLab☆199Updated 9 months ago
- LaTeX code for some of my lecture notes☆372Updated 3 years ago
- Art of Problem Solving Wiki reader, focused on showing and filtering problems by subject, test, difficulty, etc.☆50Updated this week
- Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…☆121Updated last year
- Master Thesis☆208Updated 4 years ago
- The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.☆401Updated last week
- An introduction to theorem proving in Lean for the impatient.☆311Updated 3 weeks ago
- Cambridge Maths Tripos notes☆36Updated 5 years ago
- Johan's clone of the cring repository from http://cring.adeel.ru/☆30Updated 12 years ago
- Let's translate works of Grothendieck☆32Updated 6 years ago
- A survey of known lower bounds in arithmetic circuits.☆33Updated 3 years ago
- My note taking setup scripts.☆439Updated 3 years ago
- A browser extension to convert TeX to Unicode in browser inputs.☆65Updated 4 months ago
- A class for homework assignments written in LaTeX.☆157Updated 4 years ago