PatrikBak / GeoGenLinks
Automated generation of planar geometry olympiad problems
☆93Updated last year
Alternatives and similar repositories for GeoGen
Users that are interested in GeoGen are comparing it to the libraries listed below
Sorting:
- OTIS course management system☆40Updated last week
- Olympiad problem database☆49Updated last month
- A LaTeX Typesetting Game☆252Updated 3 months ago
- Art of Problem Solving Wiki reader, focused on showing and filtering problems by subject, test, difficulty, etc.☆47Updated last week
- An online math contest platform☆20Updated 3 months ago
- orz☆15Updated 2 years ago
- A tool to estimate the difficulties of USACO problems in terms of CodeForces rating.☆35Updated last year
- Source files for https://web.evanchen.cc☆48Updated this week
- A collection of my solutions to various informatics olympiad problems☆50Updated last year
- Debug and visualize computational geometry problems☆114Updated 3 years ago
- Dot files for Evan Chen (Arch Linux on i3)☆118Updated 3 weeks ago
- repository of competitive programming codes☆3Updated 3 years ago
- An Infinitely Large Napkin☆1,544Updated last week
- Handbook of geometry for competitive programmers☆90Updated 6 years ago
- competitive programming folder☆30Updated last week
- Archive of Singapore National Olympiad in Informatics (NOI)☆187Updated 3 months ago
- Collaboration / Topic requests for SoME☆210Updated 2 years ago
- A virtual Stock Market based off of CodeForces rating☆34Updated 2 years ago
- Data Structures, Algorithms, Utility Classes for Competitive Programming, Codeforces: https://codeforces.com/profile/wleung_bvg, AtCoder:…☆41Updated 2 years ago
- Database for International Physics Olympiads☆11Updated 3 months ago
- ☆23Updated 3 years ago
- Asymptote preprocessor☆16Updated last month
- Catalog Of Math Problems Formalized In Lean☆176Updated last week
- Making Google Deepmind's AlphaGeometry accessible to the Masses☆54Updated 6 months ago
- Server to host lean games.☆290Updated this week
- Olympiad GeoGuessr☆16Updated 3 months ago
- Specs of the problem.xml format for competitive programming judge systems☆20Updated 2 years ago
- Library for generating tests for olympiad problems☆262Updated 2 years ago
- A few Mathematics Revision Cheat Sheets I've made on LaTeX.☆92Updated 8 months ago
- Algorithms, data structures, and problems in competitive programming up to USACO Platinum☆41Updated 2 years ago