Alternatives and similar repositories for oly-geoguessr:

Users that are interested in oly-geoguessr are comparing it to the libraries listed below

• chezbgone / dotfiles
  ☆8Updated 5 months ago
• vEnhance / von
  Olympiad problem database
  ☆48Updated last month
• chezbgone / chez-sty
  ☆14Updated 2 years ago
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆248Updated last month
• vEnhance / otis-web
  OTIS course management system
  ☆40Updated this week
• sipb / hydrant
  MIT semester course planning app
  ☆30Updated this week
• howard36 / probase
  An online math contest platform
  ☆19Updated last month
• vqbc / trivial
  Art of Problem Solving Wiki reader, focused on showing and filtering problems by subject, test, difficulty, etc.
  ☆44Updated this week
• cjquines / tsqx
  Asymptote preprocessor
  ☆13Updated 2 years ago
• PatrikBak / GeoGen
  Automated generation of planar geometry olympiad problems
  ☆89Updated last year
• frodakcin / orz-bot
  orz
  ☆15Updated 2 years ago
• vEnhance / dotfiles
  Dot files for Evan Chen (Arch Linux on i3)
  ☆115Updated this week
• mpedramfar / Lean-game-maker
  This project converts structured Lean code into an interactive browser game.
  ☆76Updated last year
• jopetty / lecture-notes
  A compilation of lecture notes
  ☆15Updated 6 years ago
• edfan / firehose
  A class-picking website for MIT students.
  ☆35Updated 3 months ago
• cemulate / the-mlab
  A wiki for collaborative work on totally legitimate "category theory"
  ☆111Updated 10 months ago
• caoash / competitive-programming
  repository of competitive programming codes
  ☆3Updated 3 years ago
• vEnhance / web.evanchen.cc
  Source files for https://web.evanchen.cc
  ☆44Updated this week
• ncatlab / nlab
  Source code for the nLab
  ☆174Updated last month
• b-mehta / maths-notes
  Lecture notes from Cambridge maths
  ☆67Updated last year
• TwoFX / sudoku
  A sudoku game where you have to prove that your deductions are valid
  ☆114Updated 2 years ago
• dolphingarlic / st0nks
  Real News Headlines + Fake Financial Predictions = St0nks
  ☆24Updated last year
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆93Updated 9 months ago
• rfeng2004 / AsyPad
  A simple drawing tool that can convert diagrams into Asymptote code.
  ☆19Updated 4 years ago
• ImperialCollegeLondon / M40001_lean
  Lean 3 material related to Imperial College's "Introduction to University Mathematics" course
  ☆160Updated last year
• leanprover / vscode-lean
  Extension for VS Code that provides support for the older Lean 3 language. Succeeded by vscode-lean4 ('lean4' in the extensions menu) for…
  ☆115Updated last month
• jmoellermath / translate-SGAI
  Let's translate works of Grothendieck
  ☆24Updated 5 years ago
• GeoCoq / GeoCoq
  A formalization of geometry in Coq based on Tarski's axiom system
  ☆197Updated this week
• ragnarak54 / QuizbowlBot
  Discord bot for playing quizbowl!
  ☆9Updated 2 years ago
• formalabstracts / formalabstracts
  ☆162Updated 5 years ago