vEnhance / oly-geoguessrLinks
Olympiad GeoGuessr
☆16Updated 2 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:
- ☆8Updated 7 months ago
- Olympiad problem database☆49Updated 3 weeks ago
- OTIS course management system☆40Updated this week
- A LaTeX Typesetting Game☆252Updated 2 months ago
- Asymptote preprocessor☆14Updated 2 weeks ago
- ☆14Updated 2 years ago
- An online math contest platform☆20Updated 2 months ago
- orz☆15Updated 2 years ago
- Dot files for Evan Chen (Arch Linux on i3)☆117Updated this week
- Source files for https://web.evanchen.cc☆48Updated 2 weeks ago
- Art of Problem Solving Wiki reader, focused on showing and filtering problems by subject, test, difficulty, etc.☆46Updated this week
- A wiki for collaborative work on totally legitimate "category theory"☆114Updated last year
- 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.☆296Updated last year
- Automated generation of planar geometry olympiad problems☆91Updated last year
- metamath proof enumerators and other things☆94Updated 11 months ago
- A tool to estimate the difficulties of USACO problems in terms of CodeForces rating.☆34Updated last year
- A class-picking website for MIT students.☆35Updated 5 months ago
- A gamification of the theorems in MATH40002 Analysis 1☆82Updated 2 years ago
- This project converts structured Lean code into an interactive browser game.☆77Updated last year
- WATT: Web App of The Titans☆27Updated 4 months ago
- A simple drawing tool that can convert diagrams into Asymptote code.☆19Updated 4 years ago
- competitive programming folder☆30Updated this week
- ☆306Updated 2 months ago
- A minimalist esolang☆85Updated 7 years ago
- Catalog Of Math Problems Formalized In Lean☆166Updated this week
- Functional golfing language inspired by Haskell.☆78Updated 4 years ago
- Natural Number Game☆178Updated 3 months ago
- repository of competitive programming codes☆3Updated 3 years ago
- The human-friendly Rubik's cube computer (WIP)☆31Updated this week