PatrikBak / GeoGen
Automated generation of planar geometry olympiad problems
☆87Updated last year
Alternatives and similar repositories for GeoGen:
Users that are interested in GeoGen are comparing it to the libraries listed below
- OTIS course management system☆41Updated 2 weeks ago
- Olympiad problem database☆48Updated this week
- An online math contest platform☆19Updated 3 weeks ago
- Asymptote preprocessor☆12Updated 2 years ago
- Art of Problem Solving Wiki reader, focused on showing and filtering problems by subject, test, difficulty, etc.☆44Updated this week
- orz☆15Updated 2 years ago
- Data Structures, Algorithms, Utility Classes for Competitive Programming, Codeforces: https://codeforces.com/profile/wleung_bvg, AtCoder:…☆40Updated 2 years ago
- Debug and visualize computational geometry problems☆110Updated 2 years ago
- competitive programming folder☆30Updated this week
- A tool to estimate the difficulties of USACO problems in terms of CodeForces rating.☆34Updated last year
- Catalog Of Math Problems Formalized In Lean☆141Updated this week
- Ongoing Lean formalisation of the proof of Fermat's Last Theorem☆396Updated this week
- repository of competitive programming codes☆3Updated 3 years ago
- A simple drawing tool that can convert diagrams into Asymptote code.☆19Updated 4 years ago
- Olympiad GeoGuessr☆17Updated last week
- 💧 Liquid Tensor Experiment☆189Updated last year
- ☆110Updated 2 years ago
- A LaTeX Typesetting Game☆246Updated last month
- A collection of my solutions to various informatics olympiad problems☆49Updated last year
- All of my stuff pertaining to programming contests and preparing for them☆23Updated 2 years ago
- ☆21Updated 3 years ago
- ☆8Updated 4 months ago
- A virtual Stock Market based off of CodeForces rating☆34Updated 2 years ago
- Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant☆232Updated 3 months ago
- A journal of theorems, lemmas and problems for Mathematical Olympiads.☆50Updated 3 years ago
- Source files for https://web.evanchen.cc☆45Updated this week
- Archive of Singapore National Olympiad in Informatics (NOI)☆180Updated last week
- Dot files for Evan Chen (Arch Linux on i3)☆115Updated last week
- Book Code for ICPC; Unmaintained, see https://github.com/kth-competitive-programming/kactl/ or https://github.com/ecnerwala/cp-book☆197Updated last year
- Library for generating tests for olympiad problems☆255Updated 2 years ago