Alternatives and similar repositories for x-dontpanic

Users that are interested in x-dontpanic are comparing it to the libraries listed below

• YuantianDing / HilbertProver
  An Automatic Theorem Prover for Hilbert System, generating nearly-minimal proofs.
  ☆11Updated 5 months ago
• ziyueqiu / USTC-CS-Resources
  USTC 18 计算机学院 个人资源分享
  ☆23Updated 4 years ago
• TheLitFire / USTC-CS-CheatPapers
  Cheat papers for CS courses in USTC. USTC计算机半开卷大抄
  ☆41Updated 4 years ago
• yuxguo / USTC-ComputerArchitecture-2020S
  Code for "Computer Architecture" in 2020 Spring.
  ☆28Updated 5 years ago
• OSH-2021 / x-DisGraFS
  Distributed Graph Filesystem
  ☆9Updated 3 years ago
• lyc0930 / AI-Homework
  Homework assignments of Fundamental of Artificial Intelligence (USTC 2020 spring)
  ☆19Updated 5 years ago
• sakura0423 / USTC_Graph_Theory
  This is a repository for graph theory course in USTC
  ☆46Updated 2 years ago
• zzh1996 / ustccas-revproxy
  支持 USTC 统一身份认证系统鉴权的反向代理，让你的网站只有科大人可以访问
  ☆25Updated 4 years ago
• lyc0930 / Database-Homework
  Homework assignments of An Introduction to Database System (USTC 2020 spring)
  ☆26Updated 4 years ago
• adsl-rg / adsl-rg.github.io
  ☆12Updated this week
• myl7 / compiler-2020-labs
  Compiler 2020 cource of USTC labs
  ☆9Updated 4 years ago
• QizhiPei / USTC-Resource-CS
  USTC-Computer Science-Resources
  ☆45Updated 3 years ago
• jiegec / Projects
  A summary of my projects
  ☆49Updated 3 months ago
• OSH-2021 / osh-2021.github.io
  OSH-2021
  ☆6Updated 3 years ago
• pkuzengqi / how-to-begin-phd-CN
  ☆75Updated 2 years ago
• xyxu2033 / USTC_AlgorithmForBigData2023
  中国科学技术大学大数据算法课程笔记2023
  ☆32Updated 2 years ago
• Lyncien / USTC-CS-Exam
  ☆114Updated 6 years ago
• mhy98 / Blog
  中国科学技术大学计算机学院课程资源(https://mbinary.xyz/ustc-cs/)
  ☆18Updated 6 years ago
• OSH-2018 / OSH-2018.github.io
  课程主页
  ☆23Updated 5 years ago
• icepear-jzx / USTC-Web-Info-2019
  Labs of 2019 Web Information Processing and Application in USTC.
  ☆11Updated 5 years ago
• OSH-2022 / x-runikraft
  2022 USTC 011705 (OSH) Course Project of Runikraft Group
  ☆12Updated 2 years ago
• Oyyko / USTC-Computer-Architecture
  USTC 体系结构 资料
  ☆13Updated 2 years ago
• LiuXiaoxuanPKU / Cost-Model-papers
  ☆13Updated 2 years ago
• iBug / USTC-home-jekyll
  使用 Jekyll 和 GitHub Actions 快速在 home.ustc.edu.cn 上部署一个漂亮的个人主页
  ☆15Updated 2 years ago
• lyc0930 / Online-Judge
  Codes of BaiLian (POJ), Luogu, LeetCode & Course OJ
  ☆16Updated 5 years ago
• YAVGroup / Verilog-OJ
  Online judge server for Verilog | verilogoj.ustc.edu.cn
  ☆80Updated last year
• chhzh123 / CS-Notes
  Notes of computer science courses
  ☆28Updated 4 years ago
• taoky / reccli
  A proof-of-concept rec.ustc.edu.cn client
  ☆14Updated last year
• USTC-vlab / docs
  USTC Vlab 远程教学云桌面平台的使用文档
  ☆45Updated last month
• LINs-lab / DeFT
  [ICLR 2025] DeFT: Decoding with Flash Tree-attention for Efficient Tree-structured LLM Inference
  ☆24Updated last week