Alternatives and similar repositories for chez-sty

Users that are interested in chez-sty are comparing it to the libraries listed below

• CodeTiger927 / USACO-Rating
  A tool to estimate the difficulties of USACO problems in terms of CodeForces rating.
  ☆36Updated last year
• frodakcin / orz-bot
  orz
  ☆15Updated 2 years ago
• CodeTiger927 / StonksCF
  A virtual Stock Market based off of CodeForces rating
  ☆34Updated 3 years ago
• vEnhance / oly-geoguessr
  Olympiad GeoGuessr
  ☆18Updated 7 months ago
• PatrikBak / GeoGen
  Automated generation of planar geometry olympiad problems
  ☆98Updated 2 years ago
• nareha / nareh
  👋 get to know me through my personal website!
  ☆10Updated 3 months ago
• vEnhance / von
  Olympiad problem database
  ☆54Updated last month
• vEnhance / otis-web
  OTIS course management system
  ☆45Updated last week
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆258Updated 7 months ago
• ImperialCollegeLondon / natural_number_game
  Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.
  ☆301Updated last year
• purplesyringa / problem-xml-specs
  Specs of the problem.xml format for competitive programming judge systems
  ☆20Updated 3 years ago
• vqbc / trivial
  Art of Problem Solving Wiki reader, focused on showing and filtering problems by subject, test, difficulty, etc.
  ☆50Updated this week
• cpinitiative / cpinitiative
  We promote competitive programming among students through resources, classes, outreach, and contests.
  ☆29Updated 2 weeks ago
• EntropyIncreaser / ioi2021-homework
  ☆29Updated 3 years ago
• cpinitiative / ide
  A realtime collaborative IDE with code execution, intellisense, mobile support, and built-in USACO submissions.
  ☆483Updated last month
• leanprover-community / NNG4
  Natural Number Game
  ☆250Updated last month
• lukakalinovcic / geodeb
  Debug and visualize computational geometry problems
  ☆116Updated 3 years ago
• marsenis / grader
  An automated shell script that compiles and runs a program on a set of test cases provided by the user.
  ☆36Updated 5 years ago
• lunaflight / courserekt
  Simple interface to see the history of course demand and allocation
  ☆45Updated 3 months ago
• itsmingjie / infinity
  Infinity is a simple online puzzle hunt/jeopardy-style CTF platform.
  ☆11Updated 4 years ago
• thecodingwizard / personal-website
  My personal website, built with Tailwind CSS and Next.js.
  ☆30Updated 9 months ago
• vEnhance / tsqx
  Asymptote preprocessor
  ☆17Updated 5 months ago
• farmersrice / saltzero
  Machine learning bot for ultimate tic-tac-toe based on DeepMind's AlphaGo Zero paper. C++ and Python.
  ☆26Updated 4 years ago
• dolphingarlic / CompetitiveProgramming
  A collection of my solutions to various informatics olympiad problems
  ☆52Updated 2 years ago
• meooow25 / haccepted
  Data structures and algorithms for competitive programming in Haskell
  ☆16Updated last year
• fjzzq2002 / CFBooster
  ☆58Updated 5 years ago
• whonore / Coqtail
  Interactive Coq Proofs in Vim
  ☆305Updated 2 weeks ago
• vEnhance / dotfiles
  Dot files for Evan Chen (Arch Linux on i3)
  ☆127Updated this week
• Aryansh-S / USACO
  Algorithms, data structures, and problems in competitive programming up to USACO Platinum
  ☆43Updated 2 years ago
• kunyavskiy / polygon-cli
  Command-line tool for polygon
  ☆66Updated last year