vEnhance / von
Olympiad problem database
☆44Updated last week
Related projects ⓘ
Alternatives and complementary repositories for von
- Dot files for Evan Chen (Arch Linux on i3)☆111Updated this week
- OTIS course management system☆40Updated this week
- Asymptote preprocessor☆12Updated 2 years ago
- Automated generation of planar geometry olympiad problems☆82Updated last year
- A LaTeX Typesetting Game☆241Updated 6 months ago
- Source files for https://web.evanchen.cc☆43Updated this week
- Olympiad GeoGuessr☆16Updated 10 months ago
- An online math contest platform☆17Updated this week
- Art of Problem Solving Wiki reader, focused on showing and filtering problems by subject, test, difficulty, etc.☆40Updated this week
- ☆8Updated 2 months ago
- LaTeX code for some of my lecture notes☆251Updated 2 years ago
- Master Thesis☆180Updated 3 years ago
- competitive programming folder☆29Updated this week
- Lecture notes from Cambridge maths☆63Updated 9 months ago
- All of my stuff pertaining to programming contests and preparing for them☆22Updated last year
- A simple drawing tool that can convert diagrams into Asymptote code.☆19Updated 3 years ago
- orz☆15Updated last year
- Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…☆119Updated 8 months ago
- My note taking setup scripts.☆381Updated 2 years ago
- My personal LaTeX template, with sensible formatting and commands☆16Updated 2 years ago
- Debug and visualize computational geometry problems☆105Updated 2 years ago
- amateur translation project of Grothendieck's EGA.☆330Updated 3 weeks ago
- A tool to estimate the difficulties of USACO problems in terms of CodeForces rating.☆33Updated 9 months ago
- Cambridge Maths Tripos notes☆36Updated 4 years ago
- Domain Specific Language using Manim to create animations for data structures and algorithms☆48Updated 3 years ago
- Instant Pdf Referencing☆63Updated 2 years ago
- A collection of my solutions to various informatics olympiad problems☆46Updated last year
- repository of competitive programming codes☆3Updated 3 years ago
- A few Mathematics Revision Cheat Sheets I've made on LaTeX.☆85Updated this week
- Inkscape shorcut manager☆374Updated 2 years ago