pallavagarwal07 / YourHonour

Related projects ⓘ

Alternatives and complementary repositories for YourHonour

• HexFlow / tipsy
  Provide tips and corrections for C programs
  ☆14Updated 6 years ago
• kth-competitive-programming / tinykactl
  A tale of ancient KTH history
  ☆18Updated 7 years ago
• 2016rshah / heckle
  Jekyll in Haskell (feat. LaTeX)
  ☆93Updated 7 years ago
• niklasb / contest-algos
  ☆128Updated 7 years ago
• pclubiitk / pclub.in
  Jekyll-based repository for the Programming Club website
  ☆32Updated 11 months ago
• stopstalk / stopstalk-deployment
  Stop stalking and start StopStalking
  ☆313Updated 2 months ago
• theSage21 / openJudge
  LAN hosted programming contest judge
  ☆41Updated 3 years ago
• smichr / sympy
  SymPy main development repo
  ☆9Updated last month
• Igorjan94 / codeforces.vim
  Plugin for vim to codeforces
  ☆75Updated 5 years ago
• python-gsoc / gsoc
  Scripts and ideas related to managing Google Summer of Code for the Python Software Foundation
  ☆36Updated 7 years ago
• mauke / poly.poly
  Polyglots
  ☆82Updated 8 years ago
• Sumith1896 / termscore
  Get scores of this World T20 World Cup in your terminal
  ☆9Updated 8 years ago
• boogie-org / boogie-friends
  Tools for interacting with Boogie
  ☆46Updated 10 months ago
• coderick14 / ACedIt
  A command line tool to run your code against sample test cases. Without leaving the terminal :)
  ☆75Updated last year
• avigad / boole
  The Boole Interactive Reasoning Assistant
  ☆27Updated 10 years ago
• sukeesh / GoCF
  Contest parser for codeforces.com
  ☆47Updated 3 years ago
• geisha-lang / Geisha
  A naive θ..θ programming language
  ☆27Updated 6 years ago
• soon / CodeforcesAPI
  Wrapper librarry for codeforces.com api, written in Python 3
  ☆23Updated 4 years ago
• dmwit / pulp
  pulp: process your LaTeX log file with pulp and make a better paper
  ☆46Updated 7 years ago
• Kattis / problemtools
  Tools to manage problem packages using the Kattis problem package format.
  ☆108Updated last month
• sampsyo / llvm-ei
  extensible interpreter for LLVM dynamic analyses
  ☆43Updated 11 years ago
• IPDSnelting / velcom
  Continuous benchmarking
  ☆14Updated 5 months ago
• vlecomte / cp-geo
  Handbook of geometry for competitive programmers
  ☆80Updated 6 years ago
• quasisphere / conv64
  Exact 64-bit convolution algorithm
  ☆15Updated 8 years ago
• wilcoxjay / coq-lit
  Literate coq blog posts
  ☆16Updated 8 years ago
• leanprover / theorem_proving_in_lean
  Theorem proving in Lean
  ☆48Updated last month
• DOMjudge / checktestdata
  checks integrity of test data in programming contests like the ACM ICPC
  ☆22Updated 6 months ago
• haskell-org / summer-of-haskell
  Source code of summer.haskell.org
  ☆86Updated 8 months ago