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 3 weeks ago
- A LaTeX Typesetting Game☆256Updated 5 months ago
- orz☆15Updated 2 years ago
- Automated generation of planar geometry olympiad problems☆97Updated 2 years ago
- OTIS course management system☆44Updated this week
- A wiki for collaborative work on totally legitimate "category theory"☆120Updated last year
- MIT semester course planning app☆30Updated this week
- ☆14Updated 2 years ago
- Source files for https://web.evanchen.cc☆54Updated this week
- Dot files for Evan Chen (Arch Linux on i3)☆126Updated this week
- A class-picking website for MIT students.☆36Updated 8 months ago
- An online math contest platform☆21Updated 5 months ago
- Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.☆299Updated last year
- Math-themed single-serving site☆46Updated 4 years ago
- Asymptote preprocessor☆17Updated 3 months ago
- competitive programming folder☆30Updated this week
- Art of Problem Solving Wiki reader, focused on showing and filtering problems by subject, test, difficulty, etc.☆48Updated this week
- Lecture notes from Cambridge maths☆71Updated last year
- ☆337Updated this week
- A compilation of lecture notes☆16Updated 6 years ago
- This project converts structured Lean code into an interactive browser game.☆77Updated last year
- Natural Number Game☆218Updated 3 weeks ago
- A collection of my solutions to various informatics olympiad problems☆51Updated 2 years ago
- metamath proof enumerators and other things☆94Updated last year
- Cocreate Shared Whiteboard/Drawing☆217Updated 3 months ago
- Latex notes on papers, courses, ideas: Pure math and computer science.☆61Updated 2 years ago
- An automated shell script that compiles and runs a program on a set of test cases provided by the user.☆37Updated 5 years ago
- A tool to estimate the difficulties of USACO problems in terms of CodeForces rating.☆36Updated last year
- Tag-based webview of LaTeX documents☆31Updated last year
- Lean 3 material for Kevin Buzzard's 2021 TCC courrse on formalising mathematics. Lean 4 version available here: https://github.com/Imperi…☆308Updated last year