lcpu-club / overleafLinks
PKU LaTeX
☆64Updated last month
Alternatives and similar repositories for overleaf
Users that are interested in overleaf are comparing it to the libraries listed below
Sorting:
- 新燕园人的私人班车助手(非官方)。☆67Updated 4 months ago
- 兆京大学班车预约 for Humans™☆29Updated 2 weeks ago
- RemoTeX☆31Updated 3 years ago
- Documentation for HPC course☆160Updated 5 months ago
- 北京大学本 科生毕业论文 latex 模版,基于 pkuthss 1.9.0 修改☆26Updated 3 years ago
- Wiki fo HPC☆123Updated 4 months ago
- Repository for HPCGame 1st Problems.☆69Updated last year
- ☆14Updated this week
- 基于某校选课网的验证码预处理与自动识别☆33Updated 4 years ago
- Facts of DCST of Tsinghua University☆59Updated 7 months ago
- 日常事务 LaTeX 懒人包☆35Updated 3 years ago
- Open test cases of PKU compiler course.☆27Updated 4 years ago
- Utilities for paper writing.☆12Updated 7 months ago
- 中山大学学位论文 Typst 模板☆56Updated last year
- 使用 Jekyll 和 GitHub Actions 快速在 home.ustc.edu.cn 上部署一个漂亮的个人主页☆15Updated 3 years ago
- 在选课季有一些作用的小玩意☆63Updated 3 years ago
- ☆106Updated 2 years ago
- Plagiarism detection tool in Rust (inspired by Stanford Moss)☆53Updated 2 months ago
- ⚡ Bring some magic to i.sjtu.edu.cn☆22Updated 5 years ago
- A summary of my projects☆49Updated last month
- ☆59Updated last year
- Project template for Artix-7 based Thinpad board☆52Updated 2 months ago
- A toy compiler written in C++17 that translates SysY (a C-like toy language) into ARM-v7a assembly.☆146Updated 4 years ago
- An optimizing compiler targeting armv7 and risc-v32☆63Updated 10 months ago
- The MiniDecaf compilers.☆67Updated 4 years ago
- An Automatic Theorem Prover for Hilbert System, generating nearly-minimal proofs.☆13Updated 10 months ago
- A hybrid partitioner based quantum circuit simulation system on GPU☆49Updated 3 years ago
- The MOSAIC Operating Systems Model and Checker☆203Updated 2 years ago
- Authentication utility for srun4000 (auth.tsinghua.edu.cn / net.tsinghua.edu.cn / Tsinghua-IPv4)☆276Updated 2 weeks ago
- Course website for Operating System course in Peking University.☆14Updated 4 years ago