PatrikBak / GeoGenLinks
Automated generation of planar geometry olympiad problems
☆91Updated 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 week
- Asymptote preprocessor☆14Updated this week
- Art of Problem Solving Wiki reader, focused on showing and filtering problems by subject, test, difficulty, etc.☆45Updated this week
- An online math contest platform☆19Updated 2 months ago
- A LaTeX Typesetting Game☆249Updated 2 months ago
- Dot files for Evan Chen (Arch Linux on i3)☆118Updated this week
- orz☆15Updated 2 years ago
- Database for International Physics Olympiads☆11Updated 2 months ago
- Catalog Of Math Problems Formalized In Lean☆160Updated last week
- Olympiad GeoGuessr☆16Updated 2 months ago
- Debug and visualize computational geometry problems☆113Updated 3 years ago
- Specs of the problem.xml format for competitive programming judge systems☆21Updated 2 years ago
- Ongoing Lean formalisation of the proof of Fermat's Last Theorem☆461Updated this week
- ☆23Updated 3 months ago
- All of my stuff pertaining to programming contests and preparing for them☆23Updated 2 years ago
- A project to map out the relations between different equational theories of Magmas.☆362Updated this week
- A collection of my solutions to various informatics olympiad problems☆50Updated last year
- Source files for https://web.evanchen.cc☆45Updated this week
- A tool to estimate the difficulties of USACO problems in terms of CodeForces rating.☆34Updated last year
- ☆22Updated 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…☆120Updated last year
- Natural Number Game☆167Updated 2 months ago
- ☆114Updated 2 years ago
- ☆307Updated 2 months ago
- repository of competitive programming codes☆3Updated 3 years ago
- An introduction to theorem proving in Lean for the impatient.☆198Updated 2 weeks ago
- amateur translation project of Grothendieck's EGA.☆347Updated 7 months ago
- Machine learning bot for ultimate tic-tac-toe based on DeepMind's AlphaGo Zero paper. C++ and Python.☆26Updated 4 years ago
- ☆8Updated 6 months ago