vEnhance / oly-geoguessr
Olympiad GeoGuessr
☆17Updated last week
Alternatives and similar repositories for oly-geoguessr:
Users that are interested in oly-geoguessr are comparing it to the libraries listed below
- Olympiad problem database☆48Updated this week
- ☆8Updated 4 months ago
- OTIS course management system☆41Updated 2 weeks ago
- orz☆15Updated 2 years ago
- ☆14Updated 2 years ago
- An online math contest platform☆19Updated 3 weeks ago
- MIT semester course planning app☆30Updated this week
- Asymptote preprocessor☆12Updated 2 years ago
- A LaTeX Typesetting Game☆246Updated last month
- Art of Problem Solving Wiki reader, focused on showing and filtering problems by subject, test, difficulty, etc.☆44Updated this week
- Source files for https://web.evanchen.cc☆45Updated this week
- Dot files for Evan Chen (Arch Linux on i3)☆115Updated last week
- A wiki for collaborative work on totally legitimate "category theory"☆107Updated 9 months ago
- A class-picking website for MIT students.☆35Updated 2 months ago
- repository of competitive programming codes☆3Updated 3 years ago
- Automated generation of planar geometry olympiad problems☆87Updated last year
- My personal LaTeX template, with sensible formatting and commands☆16Updated 2 years ago
- Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.☆296Updated last year
- A tool to estimate the difficulties of USACO problems in terms of CodeForces rating.☆34Updated last year
- A tutorial for solving the Rubik's Cube with as few moves as possible.☆27Updated last year
- Repository for the QED interactive text and possible extensions☆96Updated last month
- A simple drawing tool that can convert diagrams into Asymptote code.☆19Updated 4 years ago
- A minimal setup required script to improve AoPS☆9Updated 10 months ago
- Physoly website and submission portal for online contests.☆9Updated 2 weeks 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 last year
- competitive programming folder☆30Updated this week
- Lean Library currently studying for a degree at Imperial College☆225Updated last month
- a GRId LOgic Puzzle Solver library☆72Updated last year
- Lean 3 material related to Imperial College's "Introduction to University Mathematics" course☆159Updated last year
- Debug and visualize computational geometry problems☆110Updated 2 years ago