PatrikBak / GeoGen
Automated generation of planar geometry olympiad problems
☆81Updated last year
Related projects: ⓘ
- OTIS course management system☆39Updated this week
- Olympiad problem database☆43Updated 2 months ago
- An online math contest platform☆17Updated this week
- competitive programming folder☆27Updated this week
- Debug and visualize computational geometry problems☆104Updated 2 years ago
- Art of Problem Solving Wiki reader, focused on showing and filtering problems by subject, test, difficulty, etc.☆38Updated this week
- A collection of my solutions to various informatics olympiad problems☆46Updated last year
- ☆15Updated this week
- Dot files for Evan Chen (Arch Linux on i3)☆111Updated this week
- orz☆15Updated last year
- A tool to estimate the difficulties of USACO problems in terms of CodeForces rating.☆34Updated 7 months ago
- Archive of Singapore National Olympiad in Informatics (NOI)☆169Updated 5 months ago
- Source files for https://web.evanchen.cc☆41Updated this week
- A LaTeX Typesetting Game☆240Updated 4 months ago
- Library for generating tests for olympiad problems☆244Updated last year
- Handbook of geometry for competitive programmers☆77Updated 5 years ago
- repository of competitive programming codes☆3Updated 2 years ago
- Specs of the problem.xml format for competitive programming judge systems☆20Updated last year
- Data Structures, Algorithms, Utility Classes for Competitive Programming, Codeforces: https://codeforces.com/profile/wleung_bvg, AtCoder:…☆37Updated last year
- ☆107Updated 2 years ago
- Book Code for ICPC; Unmaintained, see https://github.com/kth-competitive-programming/kactl/ or https://github.com/ecnerwala/cp-book☆186Updated last year
- Semantic search for competitive programming problems☆170Updated last month
- Algorithms, data structures, and problems in competitive programming up to USACO Platinum☆38Updated last year
- ☆8Updated last month
- Machine learning bot for ultimate tic-tac-toe based on DeepMind's AlphaGo Zero paper. C++ and Python.☆26Updated 3 years ago
- ☆13Updated last year
- A journal of theorems, lemmas and problems for Mathematical Olympiads.☆48Updated 3 years ago
- A browser extension for Codeforces rating prediction☆114Updated 2 months ago
- NOI Reference for RI / SG IOI Teams☆15Updated 5 years ago
- Catalog Of Math Problems Formalized In Lean☆92Updated this week