vEnhance / oly-geoguessrLinks
Olympiad GeoGuessr
☆16Updated 2 months ago
Alternatives and similar repositories for oly-geoguessr
Users that are interested in oly-geoguessr are comparing it to the libraries listed below
Sorting:
- ☆8Updated 6 months ago
- OTIS course management system☆40Updated last week
- Olympiad problem database☆49Updated this week
- A LaTeX Typesetting Game☆249Updated 2 months ago
- orz☆15Updated 2 years ago
- ☆14Updated 2 years ago
- MIT semester course planning app☆30Updated this week
- Asymptote preprocessor☆14Updated this week
- A wiki for collaborative work on totally legitimate "category theory"☆111Updated 11 months ago
- An online math contest platform☆19Updated 2 months ago
- Automated generation of planar geometry olympiad problems☆91Updated last year
- A class-picking website for MIT students.☆35Updated 4 months ago
- Art of Problem Solving Wiki reader, focused on showing and filtering problems by subject, test, difficulty, etc.☆45Updated this week
- repository of competitive programming codes☆3Updated 3 years ago
- ☆307Updated 2 months ago
- A tool to estimate the difficulties of USACO problems in terms of CodeForces rating.☆34Updated last year
- Source files for https://web.evanchen.cc☆45Updated this week
- A simple drawing tool that can convert diagrams into Asymptote code.☆19Updated 4 years ago
- Data Structures, Algorithms, Utility Classes for Competitive Programming, Codeforces: https://codeforces.com/profile/wleung_bvg, AtCoder:…☆40Updated 2 years ago
- competitive programming folder☆30Updated this week
- Physoly website and submission portal for online contests.☆9Updated 2 weeks ago
- All of my stuff pertaining to programming contests and preparing for them☆23Updated 2 years ago
- A gamification of the theorems in MATH40002 Analysis 1☆83Updated 2 years ago
- Debug and visualize computational geometry problems☆113Updated 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
- This project converts structured Lean code into an interactive browser game.☆76Updated last year
- Dot files for Evan Chen (Arch Linux on i3)☆118Updated this week
- Natural Number Game☆167Updated 2 months ago
- ☆17Updated 4 years ago
- Math-themed single-serving site☆46Updated 3 years ago