abeakkas / ipho-unofficial.org

Related projects ⓘ

Alternatives and complementary repositories for ipho-unofficial.org

• vEnhance / von
  Olympiad problem database
  ☆44Updated last week
• vEnhance / otis-web
  OTIS course management system
  ☆40Updated this week
• cjquines / tsqx
  Asymptote preprocessor
  ☆12Updated 2 years ago
• kdickerson / automatonSimulator
  A website that simulates various finite state machines: DFA, NFA, PDA.
  ☆98Updated last year
• algorithm-archivists / GathVL
  A visualization engine for creating animations.
  ☆12Updated 2 years ago
• vEnhance / oly-geoguessr
  Olympiad GeoGuessr
  ☆16Updated 10 months ago
• PatrikBak / GeoGen
  Automated generation of planar geometry olympiad problems
  ☆82Updated last year
• ojuz / ojuz-problem-statements
  문제 번역을 용이하게 하기 위함.
  ☆14Updated 3 years ago
• physoly / OPhO
  Physoly website and submission portal for online contests.
  ☆9Updated 2 months ago
• Kattis / kattis-cli
  Kattis online judge command line tool
  ☆48Updated 2 months ago
• vEnhance / web.evanchen.cc
  Source files for https://web.evanchen.cc
  ☆43Updated this week
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆241Updated 6 months ago
• Agnishom / IOITC16
  Problems from IOITC'16 (India)
  ☆10Updated 2 years 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.
  ☆292Updated 8 months ago
• chezbgone / dotfiles
  ☆8Updated 2 months ago
• sipb / hydrant
  MIT semester course planning app
  ☆27Updated this week
• vEnhance / dotfiles
  Dot files for Evan Chen (Arch Linux on i3)
  ☆111Updated this week
• dolphingarlic / st0nks
  Real News Headlines + Fake Financial Predictions = St0nks
  ☆24Updated last year
• wesley-a-leung / Resources
  Data Structures, Algorithms, Utility Classes for Competitive Programming, Codeforces: https://codeforces.com/profile/wleung_bvg, AtCoder:…
  ☆40Updated last year
• leanprover-community / lean
  Lean 3 Theorem Prover (community fork)
  ☆435Updated last year
• aepsilon / turing-machine-viz
  Visualize Turing machines and deterministic finite automata. 🔵🔁🔴↩️
  ☆246Updated 3 years ago
• chezbgone / chez-sty
  ☆13Updated last year
• joeraut / latex2image-web
  LaTeX to image converter with web UI using Node.js / Docker
  ☆231Updated last year
• vqbc / trivial
  Art of Problem Solving Wiki reader, focused on showing and filtering problems by subject, test, difficulty, etc.
  ☆40Updated this week
• Prisoners-Dilemma-Enjoyers / PrisonersDilemmaTournament
  Watch This Place's awesome video about iterated Prisoner's Dilemma for context! https://www.youtube.com/watch?v=BOvAbjfJ0x0
  ☆23Updated 2 years ago
• Aryansh-S / USACO
  Algorithms, data structures, and problems in competitive programming up to USACO Platinum
  ☆38Updated last year
• maksimovichsam / DoublePendulumVideo
  Used to make: https://youtu.be/n7JK4Ht8k8M
  ☆137Updated last year
• CodeTiger927 / USACO-Rating
  A tool to estimate the difficulties of USACO problems in terms of CodeForces rating.
  ☆33Updated 9 months ago
• howard36 / probase
  An online math contest platform
  ☆17Updated this week
• cdchoy / ppcc
  A Powerpoint CPU
  ☆92Updated 3 years ago