Alternatives and similar repositories for vampire-judge-core

Users that are interested in vampire-judge-core are comparing it to the libraries listed below

• NankaiACM / NKOJ-Back-End
  Nankai Online Judge Backend
  ☆13Updated 2 years ago
• NankaiACM / NKOJ-Front-End
  Nankai Online Judge Front End
  ☆15Updated 3 years ago
• kongxiao0532 / NKU_Bachelor_Thesis_Template
  南开大学本科生毕业论文模板 LaTeX template for bachelor thesis in Nankai University (NKU)
  ☆60Updated 6 years ago
• haswelliris / h3c
  client for h3c
  ☆11Updated 6 years ago
• dailongao / xcpc-rank
  *CPC Rank: A quality score about competitive programming contest in Mainland China
  ☆14Updated 2 years ago
• thu-cs-lab / Router-Lab
  Lab for Network Principles since 2019-2020 fall
  ☆171Updated 5 months ago
• skyzh / HallOfShame
  Hall of Shame
  ☆67Updated 4 years ago
• wangyurzee7 / THUPC2018
  ☆29Updated 7 years ago
• fotile96 / Z_m-PolyMult
  robust polynomial multiplication in modulo m
  ☆18Updated 9 years ago
• lixin-wei / acm-resolver
  ICPC系列竞赛通用滚榜程序/Competitive Programming Rank Visualizer/Rank Resolver
  ☆46Updated 2 years ago
• skyzh / make-a-fortune
  An open-source anonymous forum frontend.
  ☆54Updated 3 years ago
• ssaichixbg / chalaoshi
  查老师-面向学生的匿名教评平台 Chinese Rate My Professor
  ☆68Updated 6 years ago
• LyricZhao / THU-Bell
  THU Bell on macOS
  ☆28Updated 5 years ago
• skyzh / linux-kernel-labs
  Linux kernel labs
  ☆56Updated 3 years ago
• jinhang1997 / Q-A-for-PA-2018
  PA2018常见问题解答（持续更新，更新频率1-2天/次），欢迎star
  ☆31Updated 6 years ago
• haoxizhong / TUOJ
  Let's discover a new world. — Edit
  ☆10Updated 8 years ago
• LogCreative / SJTUBeamermin
  上海交通大学 LaTeX Beamer 幻灯片模板 - VI 最小工作集
  ☆58Updated 3 years ago
• wanderingd19 / WanderingD19
  上海交通大学D19宿舍搬迁事件启示录
  ☆74Updated 5 years ago
• wierton / ncc-tools
  A naive interpreter for IR of NJU compiler principle lab3, to accelerate interpretation, the ir will be compiled to machine-friendly bina…
  ☆16Updated 4 years ago
• BUAA-SE-Compiling / rurikawa
  A simple Docker-based build & judge system for complex multi-file projects. 使用 Docker 隔离的适用于多文件项目的自动评测机。
  ☆43Updated 3 years ago
• Cunik / Cunik-engine
  The engine of Cunik.
  ☆26Updated 6 years ago
• SXKDZ / homework-template
  LaTeX template for homework
  ☆13Updated 5 years ago
• cubercsl / polygon2domjudge
  [EOL] Process Polygon Package to DOMjudge Package.
  ☆12Updated 4 years ago
• wangyurzee7 / THUPC2019
  THUPC(Tsinghua University Programming Competition)2019
  ☆60Updated 6 years ago
• kobayashi-compiler / kobayashi-compiler
  An optimizing compiler targeting armv7 and risc-v32
  ☆61Updated 4 months ago
• nju-icpc / code-library-legacy
  Standard Code Library for Nanjing University ACM/ICPC Team
  ☆57Updated 7 years ago
• SmartHypercube / fpga_csgo
  Counter Strike: Global Offensive FPGA Version (LOL)
  ☆15Updated 8 years ago
• BUAA-SE-Compiling / c0-handbook
  C0 指导书
  ☆14Updated 5 years ago
• xmcp / pku-eutopia
  兆京大学班车预约 for Humans™
  ☆27Updated last month
• segviol / indigo
  A compiler for a C-like toy language (named "SysY") into ARMv7a assembly, written in C++17
  ☆44Updated 4 years ago