vEnhance / oly-geoguessr
Olympiad GeoGuessr
☆17Updated this week
Alternatives and similar repositories for oly-geoguessr:
Users that are interested in oly-geoguessr are comparing it to the libraries listed below
- ☆8Updated 4 months ago
- A LaTeX Typesetting Game☆246Updated last month
- Olympiad problem database☆48Updated 2 weeks ago
- OTIS course management system☆41Updated last week
- orz☆15Updated 2 years ago
- MIT semester course planning app☆30Updated this week
- ☆14Updated 2 years ago
- Art of Problem Solving Wiki reader, focused on showing and filtering problems by subject, test, difficulty, etc.☆44Updated this week
- Automated generation of planar geometry olympiad problems☆86Updated last year
- Asymptote preprocessor☆12Updated 2 years ago
- My personal LaTeX template, with sensible formatting and commands☆16Updated 2 years ago
- Dot files for Evan Chen (Arch Linux on i3)☆114Updated last week
- Lecture notes from Cambridge maths☆66Updated last year
- An online math contest platform☆19Updated 2 weeks ago
- ☆190Updated this week
- A wiki for collaborative work on totally legitimate "category theory"☆107Updated 8 months ago
- repository of competitive programming codes☆3Updated 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…☆119Updated last year
- This project converts structured Lean code into an interactive browser game.☆75Updated last year
- A gamification of the theorems in MATH40002 Analysis 1☆81Updated 2 years ago
- amateur translation project of Grothendieck's EGA.☆341Updated 5 months ago
- A simple drawing tool that can convert diagrams into Asymptote code.☆19Updated 4 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
- Math-themed single-serving site☆46Updated 3 years ago
- Kattis online judge command line tool☆51Updated 6 months ago
- A class-picking website for MIT students.☆35Updated last month
- A tool to estimate the difficulties of USACO problems in terms of CodeForces rating.☆34Updated last year
- metamath proof enumerators and other things☆93Updated 7 months ago
- Source code for the nLab☆169Updated this week
- Server to host lean games.☆243Updated this week