vEnhance / oly-geoguessrLinks
Olympiad GeoGuessr
☆17Updated 5 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 week
- A LaTeX Typesetting Game☆255Updated 4 months ago
- OTIS course management system☆43Updated this week
- Automated generation of planar geometry olympiad problems☆95Updated 2 years ago
- Dot files for Evan Chen (Arch Linux on i3)☆122Updated last week
- Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.☆299Updated last year
- Source files for https://web.evanchen.cc☆53Updated this week
- orz☆15Updated 2 years ago
- Art of Problem Solving Wiki reader, focused on showing and filtering problems by subject, test, difficulty, etc.☆48Updated this week
- Data structures and algorithms for competitive programming in Haskell☆14Updated last year
- A wiki for collaborative work on totally legitimate "category theory"☆119Updated last year
- ☆14Updated 2 years ago
- Lecture notes from Cambridge maths☆70Updated last year
- amateur translation project of Grothendieck's EGA.☆356Updated 10 months ago
- An online math contest platform☆21Updated 4 months ago
- ☆327Updated 4 months ago
- A class-picking website for MIT students.☆36Updated 7 months ago
- Natural Number Game☆204Updated 3 weeks ago
- Database for International Physics Olympiads☆11Updated last month
- Lean Library currently studying for a degree at Imperial College☆226Updated 6 months ago
- A gamification of the theorems in MATH40002 Analysis 1☆82Updated 2 years ago
- Debug and visualize computational geometry problems☆114Updated 3 years ago
- competitive programming folder☆30Updated 3 weeks ago
- A tutorial for solving the Rubik's Cube with as few moves as possible.☆31Updated 5 months ago
- This project converts structured Lean code into an interactive browser game.☆77Updated last year
- real time multiplayer quizbowl☆95Updated last year
- A collection of templates and solutions for Competitive Programming in Haskell☆29Updated 3 years ago
- Math-themed single-serving site☆46Updated 4 years ago
- Interactive Coq Proofs in Vim☆300Updated 3 weeks ago
- Machine learning bot for ultimate tic-tac-toe based on DeepMind's AlphaGo Zero paper. C++ and Python.☆26Updated 4 years ago