Alternatives and similar repositories for competitive-programming

Users that are interested in competitive-programming are comparing it to the libraries listed below

• frodakcin / orz-bot
  orz
  ☆15Updated 2 years ago
• RagnarGrootKoerkamp / BAPCtools
  Tools for developing ICPC-style programming contest problems.
  ☆56Updated this week
• suharahiromichi / coq
  Coq Code
  ☆17Updated this week
• Khoa-bit / IUGen2
  Fast and clean schedule generator for IUers!
  ☆11Updated 2 years ago
• dolphingarlic / CompetitiveProgramming
  A collection of my solutions to various informatics olympiad problems
  ☆50Updated last year
• diksown / touristfacts
  🏆 Some 'facts' about the arguably most prominent competitive programmer of all time.
  ☆40Updated 10 months ago
• Josiah-tan / Josiah_theory
  An open source stenographic theory that emphasises writing short.
  ☆9Updated last year
• caoash / competitive-programming
  repository of competitive programming codes
  ☆3Updated 3 years ago
• vEnhance / von
  Olympiad problem database
  ☆49Updated last month
• cpinitiative / ide
  A realtime collaborative IDE with code execution, intellisense, mobile support, and built-in USACO submissions.
  ☆449Updated 2 months ago
• vEnhance / otis-web
  OTIS course management system
  ☆40Updated this week
• lean-dojo / LeanMillenniumPrizeProblems
  Formalization of the Millennium Problems in Lean4.
  ☆17Updated 3 months ago
• CodeTiger927 / StonksCF
  A virtual Stock Market based off of CodeForces rating
  ☆34Updated 2 years ago
• Aryansh-S / USACO
  Algorithms, data structures, and problems in competitive programming up to USACO Platinum
  ☆41Updated 2 years ago
• fishy15 / competitive_programming
  competitive programming folder
  ☆30Updated this week
• CodeTiger927 / USACO-Rating
  A tool to estimate the difficulties of USACO problems in terms of CodeForces rating.
  ☆35Updated last year
• JasonGross / lob
  Two attempts at formalizing Löb's Theorem, (one based on http://lesswrong.com/lw/t6/the_cartoon_guide_to_l%C3%B6bs_theorem/)
  ☆23Updated 2 years ago
• cpinitiative / usaco-guide
  A free collection of curated, high-quality resources to take you from Bronze to Platinum and beyond.
  ☆1,715Updated this week
• purplesyringa / problem-xml-specs
  Specs of the problem.xml format for competitive programming judge systems
  ☆20Updated 2 years ago
• leanprover-community / leanprover-community.github.io
  Hosts the website for mathlib and other Lean community infrastructure.
  ☆64Updated this week
• cheran-senthil / TLE
  🤖 Discord Bot for Competitive Programming
  ☆330Updated last week
• ecnerwala / cp-book
  Book Code for Competitive Programming
  ☆582Updated this week
• Codeforces / polygon-issue-tracking
  polygon-issue-tracking
  ☆16Updated 12 years ago
• vEnhance / oly-geoguessr
  Olympiad GeoGuessr
  ☆16Updated 3 months ago
• bqi343 / cp-notebook
  General Resources for Competitive Programming
  ☆2,636Updated 4 months ago
• leanprover-community / tutorials
  Some Lean tutorials
  ☆184Updated last year
• dacin21 / dacin21_codebook
  ☆115Updated 3 years ago
• leanprover-community / NNG4
  Natural Number Game
  ☆191Updated last week
• plum-umd / java-sketch
  a Java front-end for Sketch synthesis tool
  ☆20Updated 5 months ago
• AnglyPascal / MO-Problem-Journal
  A journal of theorems, lemmas and problems for Mathematical Olympiads.
  ☆51Updated 4 years ago