vEnhance / oly-geoguessrLinks
Olympiad GeoGuessr
☆17Updated 6 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:
- Olympiad problem database☆53Updated last month
- A LaTeX Typesetting Game☆256Updated 6 months ago
- OTIS course management system☆45Updated last week
- MIT semester course planning app☆30Updated last week
- Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.☆300Updated last year
- orz☆15Updated 2 years ago
- An online math contest platform☆22Updated last week
- Automated generation of planar geometry olympiad problems☆98Updated 2 years ago
- Art of Problem Solving Wiki reader, focused on showing and filtering problems by subject, test, difficulty, etc.☆49Updated last week
- A wiki for collaborative work on totally legitimate "category theory"☆122Updated last year
- A gamification of the theorems in MATH40002 Analysis 1☆82Updated 2 years ago
- Asymptote preprocessor☆17Updated 4 months ago
- Dot files for Evan Chen (Arch Linux on i3)☆128Updated this week
- Repository for the QED interactive text and possible extensions☆105Updated 8 months ago
- Source files for https://web.evanchen.cc☆58Updated this week
- ☆344Updated 2 weeks ago
- ☆14Updated 2 years ago
- Debug and visualize computational geometry problems☆115Updated 3 years ago
- This project converts structured Lean code into an interactive browser game.☆77Updated last year
- Math-themed single-serving site☆46Updated 4 years ago
- Lecture notes from Cambridge maths☆71Updated last year
- competitive programming folder☆30Updated last week
- Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…☆121Updated last year
- Data structures and algorithms for competitive programming in Haskell☆16Updated last year
- A compilation of lecture notes☆16Updated 6 years ago
- Lean Library currently studying for a degree at Imperial College☆228Updated 7 months ago
- Natural Number Game☆227Updated last week
- Tag-based webview of LaTeX documents☆31Updated last year
- Some Lean tutorials☆183Updated 2 years ago
- A sudoku game where you have to prove that your deductions are valid☆116Updated 3 years ago