Alternatives and similar repositories for GeoGen:

Users that are interested in GeoGen are comparing it to the libraries listed below

• vEnhance / otis-web
  OTIS course management system
  ☆41Updated this week
• vEnhance / von
  Olympiad problem database
  ☆48Updated last month
• howard36 / probase
  An online math contest platform
  ☆18Updated 2 months ago
• cjquines / tsqx
  Asymptote preprocessor
  ☆12Updated 2 years ago
• vqbc / trivial
  Art of Problem Solving Wiki reader, focused on showing and filtering problems by subject, test, difficulty, etc.
  ☆43Updated this week
• vEnhance / dotfiles
  Dot files for Evan Chen (Arch Linux on i3)
  ☆114Updated this week
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆242Updated 3 weeks ago
• lukakalinovcic / geodeb
  Debug and visualize computational geometry problems
  ☆109Updated 2 years ago
• frodakcin / orz-bot
  orz
  ☆15Updated 2 years ago
• wesley-a-leung / Resources
  Data Structures, Algorithms, Utility Classes for Competitive Programming, Codeforces: https://codeforces.com/profile/wleung_bvg, AtCoder:…
  ☆40Updated 2 years ago
• vEnhance / web.evanchen.cc
  Source files for https://web.evanchen.cc
  ☆45Updated this week
• dwrensha / compfiles
  Catalog Of Math Problems Formalized In Lean
  ☆131Updated this week
• CodeTiger927 / USACO-Rating
  A tool to estimate the difficulties of USACO problems in terms of CodeForces rating.
  ☆34Updated last year
• dolphingarlic / CompetitiveProgramming
  A collection of my solutions to various informatics olympiad problems
  ☆49Updated last year
• vEnhance / oly-geoguessr
  Olympiad GeoGuessr
  ☆17Updated this week
• chezbgone / chez-sty
  ☆13Updated 2 years ago
• tpgh24 / ag4masses
  Making Google Deepmind's AlphaGeometry accessible to the Masses
  ☆37Updated last month
• dacin21 / dacin21_codebook
  ☆111Updated 2 years ago
• Aryansh-S / USACO
  Algorithms, data structures, and problems in competitive programming up to USACO Platinum
  ☆39Updated 2 years ago
• AnglyPascal / MO-Problem-Journal
  A journal of theorems, lemmas and problems for Mathematical Olympiads.
  ☆50Updated 3 years ago
• caoash / competitive-programming
  repository of competitive programming codes
  ☆3Updated 3 years ago
• fishy15 / competitive_programming
  competitive programming folder
  ☆29Updated this week
• ImperialCollegeLondon / FLT
  Ongoing Lean formalisation of the proof of Fermat's Last Theorem
  ☆366Updated this week
• ImperialCollegeLondon / formalising-mathematics-2022
  Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…
  ☆119Updated 11 months ago
• meooow25 / carrot
  A browser extension for Codeforces rating prediction
  ☆127Updated 4 months ago
• marsenis / grader
  An automated shell script that compiles and runs a program on a set of test cases provided by the user.
  ☆36Updated 4 years ago
• noisg / sg_noi_archive
  Archive of Singapore National Olympiad in Informatics (NOI)
  ☆177Updated 10 months ago
• algmyr / e-maxx-eng-book
  Book version of e-maxx-eng
  ☆51Updated 9 months ago
• ifsmirnov / jngen
  Library for generating tests for olympiad problems
  ☆253Updated 2 years ago
• leanprover-community / lean4game
  Server to host lean games.
  ☆234Updated this week