vEnhance / oly-geoguessrLinks
Olympiad GeoGuessr
☆18Updated last month
Alternatives and similar repositories for oly-geoguessr
Users that are interested in oly-geoguessr are comparing it to the libraries listed below
Sorting:
- A LaTeX Typesetting Game☆261Updated 10 months ago
- Olympiad problem database☆54Updated 3 weeks ago
- OTIS course management system☆44Updated 2 weeks ago
- An online math contest platform☆22Updated 2 weeks ago
- Automated generation of planar geometry olympiad problems☆101Updated 2 months ago
- ☆14Updated 3 years ago
- orz☆15Updated 3 years ago
- Source files for https://web.evanchen.cc☆62Updated last week
- Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.☆303Updated last year
- MIT semester course planning app☆30Updated this week
- Art of Problem Solving Wiki reader, focused on showing and filtering problems by subject, test, difficulty, etc.☆50Updated last week
- Debug and visualize computational geometry problems☆113Updated 3 years ago
- A web server that allows people to play Hanab, a cooperative card game of logic and reasoning.☆202Updated last week
- A wiki for collaborative work on totally legitimate "category theory"☆132Updated last year
- ☆355Updated 4 months ago
- amateur translation project of Grothendieck's EGA.☆377Updated 3 months ago
- Dot files for Evan Chen (Arch Linux on i3)☆129Updated 3 weeks ago
- Natural Number Game☆283Updated last month
- My personal LaTeX template, with sensible formatting and commands☆16Updated 3 years ago
- This project converts structured Lean code into an interactive browser game.☆77Updated 2 years ago
- competitive programming folder☆31Updated 2 weeks ago
- Server to host lean games.☆391Updated 2 weeks ago
- A collection of my solutions to various informatics olympiad problems☆52Updated 2 years ago
- Lecture notes from Cambridge maths☆72Updated 2 years ago
- A gamification of the theorems in MATH40002 Analysis 1☆84Updated 2 years ago
- Lean Library currently studying for a degree at Imperial College☆230Updated 11 months ago
- real time multiplayer quizbowl☆97Updated 2 months ago
- A computer algebra system for research in combinatorial game theory☆54Updated 2 years ago
- A list of Hanabi strategies☆178Updated this week
- Handbook of geometry for competitive programmers☆102Updated 7 years ago