vEnhance / von
Olympiad problem database
☆48Updated last month
Alternatives and similar repositories for von:
Users that are interested in von are comparing it to the libraries listed below
- Dot files for Evan Chen (Arch Linux on i3)☆114Updated last week
- Asymptote preprocessor☆12Updated 2 years ago
- OTIS course management system☆41Updated this week
- Automated generation of planar geometry olympiad problems☆85Updated last year
- Source files for https://web.evanchen.cc☆45Updated this week
- An online math contest platform☆18Updated 2 months ago
- Olympiad GeoGuessr☆17Updated last week
- Art of Problem Solving Wiki reader, focused on showing and filtering problems by subject, test, difficulty, etc.☆43Updated last week
- A LaTeX Typesetting Game☆242Updated 3 weeks ago
- ☆8Updated 3 months ago
- competitive programming folder☆29Updated this week
- Master Thesis☆188Updated 3 years ago
- Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…☆119Updated 11 months ago
- orz☆15Updated 2 years ago
- My personal LaTeX template, with sensible formatting and commands☆16Updated 2 years ago
- All of my stuff pertaining to programming contests and preparing for them☆23Updated 2 years ago
- A tool to estimate the difficulties of USACO problems in terms of CodeForces rating.☆34Updated last year
- LaTeX code for some of my lecture notes☆266Updated 2 years ago
- Let's translate works of Grothendieck☆24Updated 5 years ago
- Instant Pdf Referencing☆66Updated 2 years ago
- A simple drawing tool that can convert diagrams into Asymptote code.☆19Updated 3 years ago
- A journal of theorems, lemmas and problems for Mathematical Olympiads.☆50Updated 3 years ago
- Lecture notes from Cambridge maths☆65Updated last year
- Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant☆226Updated 2 months ago
- Data Structures, Algorithms, Utility Classes for Competitive Programming, Codeforces: https://codeforces.com/profile/wleung_bvg, AtCoder:…☆40Updated 2 years ago
- repository of competitive programming codes☆3Updated 3 years ago
- amateur translation project of Grothendieck's EGA.☆337Updated 4 months ago
- Cambridge Maths Tripos notes☆36Updated 4 years ago
- Algorithms, data structures, and problems in competitive programming up to USACO Platinum☆39Updated 2 years ago
- Listing of online math seminars☆42Updated 5 months ago