S4Plus / QuantumCourse
☆23Updated last year
Related projects: ⓘ
- 支持 USTC 统一身份认证系统鉴权的反向代理，让你的网站只有科大人可以访问☆25Updated 3 years ago
- An Automatic Theorem Prover for L(X) in Wang's Book (数理逻辑 第2版 汪芳庭) in Scala.☆12Updated 2 years ago
- A navigation page for USTC☆24Updated 9 months ago
- Online judge server for Verilog | verilogoj.ustc.edu.cn☆75Updated 2 months ago
- Course Homepage☆15Updated 5 years ago
- 使用 Jekyll 和 GitHub Actions 快速在 home.ustc.edu.cn 上部署一个漂亮的个人主页☆15Updated 2 years ago
- 2023/12/22 电三 420 每周会议技术分享：「容器」的 slides 和附件☆10Updated 8 months ago
- A hybrid partitioner based quantum circuit simulation system on GPU☆46Updated 2 years ago
- 清华大学每日健康打卡脚本 systemd 版☆43Updated last year
- Counter Strike: Global Offensive FPGA Version (LOL)☆15Updated 7 years ago
- ChatGPT Telegram bot☆47Updated this week
- A simple html page to help your application use USTC CAS.☆20Updated 6 years ago
- USTC Vlab 远程教学云桌面平台的使用文档☆41Updated last week
- team dontpanic in ustc-osh-2020☆9Updated 4 years ago
- 方兆本著随机过程第三版 习题答案☆17Updated last year
- 本仓库用于中科大322宿舍空气质量联名信签署相关信息整理☆8Updated 5 years ago
- Project template for Artix-7 based Thinpad board☆45Updated last year
- USTC成绩自动通知脚本☆27Updated 5 years ago
- PKU LaTeX☆28Updated last year
- Facts of DCST of Tsinghua University☆45Updated 2 months ago
- 课程主页☆23Updated 5 years ago
- Utilities for Python developing and debugging.☆22Updated 2 years ago
- Tsinghua Advanced Networking Labs on FPGA☆37Updated 8 months ago
- 日常事务 LaTeX 懒人包☆33Updated 2 years ago
- 中科大大物实验数据☆12Updated 2 years ago
- A SystemVerilog implementation of MIPS32 CPU and RIP router☆19Updated 4 years ago
- Plagiarism detection tool in Rust (inspired by Stanford Moss)☆47Updated 2 weeks ago
- USTC Physics Experiments Data Processing Tools (大物实验数据处理工具)☆40Updated 2 years ago
- 兆京大学班车预约 for Humans™☆27Updated last month
- ☆19Updated 3 years ago