vEnhance / oly-geoguessrLinks
Olympiad GeoGuessr
☆18Updated 8 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☆54Updated last week
- A LaTeX Typesetting Game☆260Updated 8 months ago
- An online math contest platform☆22Updated 2 months ago
- OTIS course management system☆45Updated last week
- Art of Problem Solving Wiki reader, focused on showing and filtering problems by subject, test, difficulty, etc.☆50Updated this week
- Automated generation of planar geometry olympiad problems☆99Updated 2 weeks ago
- Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.☆301Updated last year
- orz☆15Updated 3 years ago
- Source files for https://web.evanchen.cc☆60Updated last week
- ☆14Updated 2 years ago
- Dot files for Evan Chen (Arch Linux on i3)☆128Updated last week
- A wiki for collaborative work on totally legitimate "category theory"☆130Updated last year
- MIT semester course planning app☆30Updated this week
- ☆350Updated 2 months ago
- Natural Number Game☆259Updated 2 months ago
- real time multiplayer quizbowl☆96Updated 3 weeks ago
- amateur translation project of Grothendieck's EGA.☆369Updated last month
- A web server that allows people to play Hanab, a cooperative card game of logic and reasoning.☆197Updated last week
- Math-themed single-serving site☆46Updated 4 years ago
- Lecture notes from Cambridge maths☆71Updated last year
- Lean Library currently studying for a degree at Imperial College☆229Updated 9 months ago
- Asymptote preprocessor☆17Updated 6 months ago
- Repository for the QED interactive text and possible extensions☆110Updated 10 months ago
- Server to host lean games.☆350Updated last week
- A gamification of the theorems in MATH40002 Analysis 1☆83Updated 2 years ago
- This project converts structured Lean code into an interactive browser game.☆77Updated 2 years ago
- A class-picking website for MIT students.☆36Updated 10 months ago
- Source code for the nLab☆193Updated 8 months ago
- An Infinitely Large Napkin☆1,767Updated 2 weeks ago
- A tutorial for solving the Rubik's Cube with as few moves as possible.☆33Updated 8 months ago