Alternatives and similar repositories for hotcrp:

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

• emeryberger / csconferences
  Major CS conference publication stats (including accepted and submitted) by year.
  ☆122Updated 3 weeks ago
• nal-epfl / castan
  Cycle Accurate Symbolic Timing Analysis of Network Functions
  ☆10Updated 3 years ago
• Bramas / hotcrp-docker-compose
  An easy docker-compose deployement of hotcrp
  ☆18Updated 2 years ago
• acmccs / format
  ACM consolidated LaTeX styles
  ☆67Updated 6 years ago
• uds-se / autoreject
  Autoreject.org — An automatic review generator
  ☆69Updated last year
• bajinsheng / bibtidy
  Search, check, and autofix your BibTex files!
  ☆25Updated last year
• tianyin / configuration_datasets
  The configuration files and issues datasets collected from real users
  ☆31Updated 5 years ago
• tamarin-prover / tamarin-prover
  Main source code repository of the Tamarin prover for security protocol verification.
  ☆456Updated 3 weeks ago
• iyzhang / superhero-network
  An unaffiliated group of visible, early career CS women researchers dedicated to fighting harassment in all forms in academia.
  ☆107Updated 9 months ago
• borisveytsman / acmart
  ACM consolidated LaTeX styles
  ☆651Updated 3 months ago
• dave-andersen / coursegen
  Course web page generator framework
  ☆28Updated 12 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
• sosy-lab / cpachecker
  CPAchecker, the Configurable Software-Verification Platform (read-only mirror)
  ☆240Updated this week
• xlab-uiuc / open-cevo
  configuration evolution dataset
  ☆17Updated 4 years ago
• ryscheng / paper-template
  LaTeX templates for papers
  ☆46Updated 6 years ago
• stephenfreund / RoadRunner
  ☆72Updated 7 years ago
• ModelInference / synoptic
  Inferring models of systems from observations of their behavior
  ☆83Updated 2 years ago
• utsaslab / chipmunk
  Tool for checking crash-consistency for persistent-memory file systems (Eurosys 23)
  ☆19Updated 10 months ago
• Apogee-Research / STAC
  Public release items for the DARPA Space/Time Analysis for Cybersecurity (STAC) program
  ☆27Updated 7 years ago
• SabaEskandarian / Fidelius
  Protecting user secrets from compromised browsers and operating systems
  ☆17Updated 6 years ago
• LearnLib / learnlib
  A free, open-source Java library for automata learning algorithms
  ☆216Updated last month
• sosy-lab / sv-benchmarks
  Collection of Verification Tasks (MOVED, please follow the link)
  ☆184Updated 3 years ago
• tianyin / configuration-management-papers
  A Reading List of System Configuration Management
  ☆56Updated 8 months ago
• HexHive / pubstats
  ☆30Updated 3 weeks ago
• xlab-uiuc / cflow
  Flow-based configuration analysis
  ☆9Updated 3 years ago
• OrderLab / OKLib
  OKLib: A Toolchain for Checking Silent Semantic Violations in Distributed Systems
  ☆23Updated last year
• pcminer-tools / pcminer
  PC-miner tool for program chairs
  ☆27Updated last month
• 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
• cocoppang / ShieldStore
  Trusted in-memory key-value store based on ShieldStore which is published in EuroSys 2019
  ☆37Updated 2 years ago
• microsoft / ivy
  IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform f…
  ☆229Updated 4 years ago