Alternatives and similar repositories for YourHonour

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

• HexFlow / tipsy
  Provide tips and corrections for C programs
  ☆14Updated 6 years ago
• niklasb / contest-algos
  ☆127Updated 8 years ago
• Kattis / problemtools
  Tools to manage problem packages using the Kattis problem package format.
  ☆118Updated last week
• tau-prolog / draw-derivation-trees
  A tool for drawing derivation trees of Tau Prolog
  ☆11Updated 3 years ago
• DOMjudge / checktestdata
  checks integrity of test data in programming contests like the ACM ICPC
  ☆23Updated 4 months ago
• softdevteam / eco
  Editor for language composition
  ☆58Updated 2 years ago
• karelklic / canal
  Abstract interpreter for real-world application programs
  ☆32Updated 12 years ago
• ankitsultana / templates
  Link to C++ Code Templates I **used** to use for Competitive Programming | Though most of these have been used, I don't provide any guara…
  ☆10Updated 8 years ago
• pushkar8723 / aurora
  SPOJ like judge to automatically judge the submitted solution.
  ☆99Updated 3 years ago
• pclubiitk / puppy-love
  A cryptographically secure couple matching platform with strong guarantees
  ☆76Updated 2 years ago
• pclubiitk / pclub.in
  Jekyll-based repository for the Programming Club website
  ☆30Updated last year
• langston-barrett / coq-big-o
  A general yet easy-to-use formalization of Big O, Big Theta, and more based on seminormed vector spaces.
  ☆35Updated 8 years ago
• soon / CodeforcesAPI
  Wrapper librarry for codeforces.com api, written in Python 3
  ☆23Updated 5 years ago
• MikeMirzayanov / open_addressing_hash_table
  Open addressing hash table on C++
  ☆12Updated 10 years ago
• IPDSnelting / velcom
  Continuous benchmarking
  ☆17Updated 2 weeks ago
• ExtendJ / ExtendJ
  This is a mirror of the main Bitbucket repository. Issue tracking is done on Bitbucket
  ☆12Updated 2 years ago
• avigad / polya
  A heuristic procedure for proving inequalities
  ☆33Updated 6 years ago
• geisha-lang / Geisha
  A naive θ..θ programming language
  ☆27Updated 6 years ago
• rishabhs / sygus-comp14
  ☆40Updated 6 years ago
• rocq-community / coqeal
  The Coq Effective Algebra Library [maintainers=@CohenCyril,@proux01]
  ☆70Updated last month
• kth-competitive-programming / tinykactl
  A tale of ancient KTH history
  ☆20Updated 8 years ago
• DistAlgo / distalgo
  This is the Python implementation of DistAlgo, a language for distributed algorithms.
  ☆88Updated 7 months ago
• anudeep2011 / programming
  ☆92Updated 9 years ago
• boogie-org / boogie-friends
  Tools for interacting with Boogie
  ☆47Updated 2 months ago
• effect-handlers / effect-handlers-bench
  Benchmark repository of polyglot effect handler examples
  ☆24Updated last month
• mit-pdos / mcqc
  A Gallina compiler with C++17 as an intermediate representation
  ☆43Updated 4 years ago
• digama0 / mm-lean4
  Lean 4 Metamath verifier
  ☆18Updated last week
• leanprover / theorem_proving_in_lean
  Theorem proving in Lean
  ☆49Updated 7 months ago
• BidhanRoy / Algorithm-Code-Library
  C++ Algorithm Library.
  ☆52Updated 8 years ago
• jfeser / L2
  λ² is a tool for synthesizing functional programs from input-output examples.
  ☆69Updated 2 years ago