Alternatives and similar repositories for hotcrp:

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

• uds-se / autoreject
  Autoreject.org — An automatic review generator
  ☆69Updated last year
• Bramas / hotcrp-docker-compose
  An easy docker-compose deployement of hotcrp
  ☆18Updated 2 years ago
• emeryberger / csconferences
  Major CS conference publication stats (including accepted and submitted) by year.
  ☆119Updated 3 months ago
• iyzhang / superhero-network
  An unaffiliated group of visible, early career CS women researchers dedicated to fighting harassment in all forms in academia.
  ☆106Updated 8 months ago
• acmccs / format
  ACM consolidated LaTeX styles
  ☆65Updated 5 years ago
• tianyin / configuration_datasets
  The configuration files and issues datasets collected from real users
  ☆31Updated 4 years ago
• sosy-lab / cpachecker
  CPAchecker, the Configurable Software-Verification Platform (read-only mirror)
  ☆238Updated this week
• pcminer-tools / pcminer
  PC-miner tool for program chairs
  ☆26Updated this week
• sambayless / monosat
  MonoSAT - An SMT solver for Monotonic Theories
  ☆111Updated this week
• nal-epfl / castan
  Cycle Accurate Symbolic Timing Analysis of Network Functions
  ☆10Updated 3 years ago
• sosy-lab / sv-benchmarks
  Collection of Verification Tasks (MOVED, please follow the link)
  ☆184Updated 3 years ago
• borisveytsman / acmart
  ACM consolidated LaTeX styles
  ☆646Updated 2 months ago
• conference-websites / acmart-sigproc-template
  New template for ACM Conferences (acmart / sigconf)
  ☆27Updated 2 years ago
• stephenfreund / RoadRunner
  ☆71Updated 7 years ago
• jieyu / concurrency-bugs
  A collection of concurrency bugs. Please cite our ISCA paper "A Case for an Interleaving Constrained Shared-Memory Multi-Processor" if yo…
  ☆60Updated 11 years ago
• cucapra / styleguide
  rules for writing and typesetting
  ☆24Updated 3 years ago
• spectector / spectector
  Automatic detection of speculative information flows
  ☆67Updated 3 years ago
• vijay03 / dblp-python
  Simple python scripts which identify papers authored by PC members in various conferences. Conference info pulled from DBLP.
  ☆18Updated 4 years ago
• ghackebeil / PyORAM
  Python-based Oblivious RAM
  ☆29Updated 5 years ago
• dave-andersen / coursegen
  Course web page generator framework
  ☆28Updated 12 years ago
• bugcounting / software-analysis
  Material (mostly slides) for a graduate course on (formal) software analysis.
  ☆32Updated 5 years ago
• bajinsheng / bibtidy
  Search, check, and autofix your BibTex files!
  ☆25Updated 11 months ago
• codespecs / daikon
  Dynamic detection of likely invariants
  ☆222Updated 2 weeks ago
• acmsigsoft / submission-checker
  Checks the PDFs submitted to a conference, e.g., for formatting violations and double anonymous violations
  ☆61Updated 3 years ago
• dslab-epfl / cloud9
  The Cloud9 main repository
  ☆52Updated 11 years ago
• jieyu / maple
  A dynamic analysis framework for concurrent programs (x86 binaries). It is shipped with a few tools written using this framework for test…
  ☆69Updated 7 years ago
• nyu-systems / gauntlet
  Finding bugs in P4 compilers using translation validation.
  ☆37Updated this week
• ultimate-pa / ultimate
  The Ultimate program analysis framework.
  ☆211Updated this week
• uw-unsat / serval
  ☆47Updated 2 years ago
• ryscheng / paper-template
  LaTeX templates for papers
  ☆45Updated 6 years ago