S4Plus/QuantumCourse external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

S4Plus/QuantumCourse

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/S4Plus/QuantumCourse)

Close

S4Plus / QuantumCourseView on GitHubMore

• External links
• Readme badge

☆23Nov 25, 2022Updated 3 years ago

Alternatives and similar repositories for QuantumCourse

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

• pdlan / static-regex

  View on GitHub
  compile-time DFA-based regular expression engine with C++ template and constexpr
  ☆56Dec 2, 2019Updated 6 years ago
• wyt2000 / InverseCoder

  View on GitHub
  [AAAI 2025] The official code of the paper "InverseCoder: Unleashing the Power of Instruction-Tuned Code LLMs with Inverse-Instruct"(http…
  ☆14Jul 10, 2024Updated last year
• regymm / USTCPhysExpData

  View on GitHub
  中科大大物实验数据
  ☆13Mar 5, 2022Updated 4 years ago
• ustclug / hackergame

  View on GitHub
  Hackergame platform for 2018 and beyond
  ☆72Updated this week
• YuantianDing / HilbertProver

  View on GitHub
  An Automatic Theorem Prover for Hilbert System, generating nearly-minimal proofs.
  ☆14Jan 21, 2025Updated last year
• CircuitCoder / cidr-calc

  View on GitHub
  CIDR union / subtraction
  ☆14Mar 13, 2026Updated last week
• SmartHypercube / ustclife

  View on GitHub
  A navigation page for USTC
  ☆29Sep 9, 2025Updated 6 months ago
• zzh1996 / ustccas-revproxy

  View on GitHub
  支持 USTC 统一身份认证系统鉴权的反向代理，让你的网站只有科大人可以访问
  ☆27Jun 13, 2021Updated 4 years ago
• regymm / USTCcomputer

  View on GitHub
  USTC computer practice code and interesting small projects
  ☆12Apr 24, 2020Updated 5 years ago
• Chivier / enview

  View on GitHub
  ☆15Jul 17, 2025Updated 8 months ago
• regymm / PhysicsExp

  View on GitHub
  USTC Physics Experiments Data Processing Tools (大物实验数据处理工具)
  ☆47Mar 16, 2022Updated 4 years ago
• SmartHypercube / fpga_csgo

  View on GitHub
  Counter Strike: Global Offensive FPGA Version (LOL)
  ☆15Mar 11, 2017Updated 9 years ago
• ustc-pldpa / 2018s

  View on GitHub
  ☆18Apr 17, 2019Updated 6 years ago
• YAVGroup / Verilog-OJ

  View on GitHub
  Online judge server for Verilog | verilogoj.ustc.edu.cn
  ☆82Dec 9, 2025Updated 3 months ago
• iBug / USTC-home-jekyll

  View on GitHub
  使用 Jekyll 和 GitHub Actions 快速在 home.ustc.edu.cn 上部署一个漂亮的个人主页
  ☆15Sep 15, 2022Updated 3 years ago
• wilyub / VeriThoughts

  View on GitHub
  The first large scale formally verified reasoning dataset for Verilog
  ☆21May 16, 2025Updated 10 months ago
• wavedrom / verilog

  View on GitHub
  wavedrom to verilog converter
  ☆17Sep 14, 2021Updated 4 years ago
• Kaffaljidhmah2 / pku_epidemic

  View on GitHub
  PKU燕园云战疫自动填写器
  ☆21Jan 16, 2021Updated 5 years ago
• theoxo / self-repair

  View on GitHub
  [ICLR 2024]: Is Self-Repair a Silver Bullet for Code Generation?
  ☆15May 2, 2024Updated last year
• jkadbear / Stochastic_Process

  View on GitHub
  方兆本著随机过程第三版 习题答案
  ☆19Oct 31, 2022Updated 3 years ago
• wildoranges / MahoShojo

  View on GitHub
  2021年华为毕昇杯中国科学技术大学Maho_Shojo队二等奖作品
  ☆27Jul 15, 2022Updated 3 years ago
• Synthesys-Lab / assassyn

  View on GitHub
  Asynchronous semantics for architectural simulation and synthesis.
  ☆66Jan 27, 2026Updated last month
• iBug / fakessh

  View on GitHub
  A fake SSH tarpit that logs passwords and commands from attackers
  ☆38Dec 16, 2025Updated 3 months ago
• kolya-vasiliev / logical-foundations-2018

  View on GitHub
  My solutions to exercises in "Logical Foundations" (2018-2019)
  ☆11Apr 11, 2019Updated 6 years ago
• ustctug / ustcbeamer

  View on GitHub
  USTC Beamer 模板（基于学校公用 PPT 模板）
  ☆332Jul 26, 2022Updated 3 years ago
• yangsheng6810 / no_dup_bot

  View on GitHub
  ☆15Mar 30, 2023Updated 2 years ago
• pinchenjohnny / Parallel-Algorithm

  View on GitHub
  并行算法2020，徐云老师，中科大研究生课程
  ☆33Jul 16, 2020Updated 5 years ago
• stepfun-ai / StepFun-Formalizer

  View on GitHub
  StepFun-Formalizer: Unlocking the Autoformalization Potential of LLMs through Knowledge-Reasoning Fusion
  ☆25Aug 19, 2025Updated 7 months ago
• probcomp / haskell-trace-types

  View on GitHub
  Prototype of the system described in "Trace Types and Denotational Semantics for Sound Programmable Inference in Probabilistic Languages"
  ☆11Aug 8, 2025Updated 7 months ago
• mknyszek / goat

  View on GitHub
  Go allocation trace utilities
  ☆15Jan 8, 2021Updated 5 years ago
• UNITES-Lab / C2R-MoE

  View on GitHub
  [NAACL'25 🏆 SAC Award] Official code for "Advancing MoE Efficiency: A Collaboration-Constrained Routing (C2R) Strategy for Better Expert…
  ☆16Feb 4, 2025Updated last year
• Lyncien / USTC-CS-Exam

  View on GitHub
  ☆115Jun 27, 2019Updated 6 years ago
• UNITES-Lab / MoE-RBench

  View on GitHub
  [ICML 2024] Code for the paper "MoE-RBench: Towards Building Reliable Language Models with Sparse Mixture-of-Experts"
  ☆10Jul 1, 2024Updated last year
• rookie-joe / FormalAlign

  View on GitHub
  ☆17Jul 12, 2025Updated 8 months ago
• SwarmArch / T4

  View on GitHub
  Code released to accompany the ISCA paper: "T4: Compiling Sequential Code for Effective Speculative Parallelization in Hardware"
  ☆28Feb 18, 2022Updated 4 years ago
• FPGA-Computer / USB-Snoop

  View on GitHub
  ☆12May 3, 2017Updated 8 years ago
• QiMeng-IPRC / QiMeng-cpu-v1

  View on GitHub
  [IJCAI 2024] QiMeng-CPU-v1: Automated CPU Design by Learning from Input-Output Examples
  ☆27May 4, 2025Updated 10 months ago
• toadapp / toad-android

  View on GitHub
  ☆14Aug 12, 2018Updated 7 years ago
• opengl106 / project_fcf

  View on GitHub
  Project F.C.F (Flush Conceivable Fakers)
  ☆12Oct 28, 2023Updated 2 years ago