ShingZhanho / ENGG1340-Project-25SpringLinks
The repository for HKU ENGG1340 Group Project (24/25 Semester 2).
☆10Updated 6 months ago
Alternatives and similar repositories for ENGG1340-Project-25Spring
Users that are interested in ENGG1340-Project-25Spring are comparing it to the libraries listed below
Sorting:
- Revision notes for the course HKU COMP2120 - Computer Organisation written in LaTeX.☆12Updated 7 months ago
- The frontend of ZVMS 4, powered by Element-plus, Vite, and Vue.☆11Updated 2 weeks ago
- ☆13Updated 2 months ago
- Algorithms in C++17☆16Updated last month
- 有女同車《〈廣韻〉全字表》原表☆15Updated last year
- Peter Selinger's LaTeX macros for Fitch style natural deduction☆19Updated 2 years ago
- A Typst template for CNOI-style statements for competitive programming. | CNOI 题面排版风格的 Typst 模板。☆35Updated 4 months ago
- 🔖一款基于C++的OI/ACM比赛出题解题辅助工具⭐☆222Updated 3 years ago
- A transpiler that converts TeX into Unicode (as possible).☆20Updated 6 months ago
- IOI 2020 集训队作业☆26Updated 5 years ago
- A simple scala-like dependent type programming language☆22Updated 8 months ago
- NOI Linux in Windows WSL 2☆14Updated 2 years ago
- ☆25Updated 5 years ago
- 语言学竞赛集成 / Collection on Linguistics Olympiad (Chinese version only)☆25Updated last year
- Open, hand-typed notes by HKU students, for HKU students.☆17Updated 3 months ago
- xm 集训队☆29Updated 5 years ago
- ☆56Updated last year
- 一个有很多新增 feature 的 UOJ☆22Updated 4 years ago
- A Typst-friendly static Zettelkästen site generator.☆154Updated 3 weeks ago
- 洛谷冬日绘板脚本(已停止维护)☆57Updated 4 years ago
- The most powerful user script for wjx.cn☆10Updated 3 years ago
- A Chu Nom Standardization Project initiated by Liu(@valestanov). 一项自行发起的喃字标准化项目。Một dự án tiêu chuẩn hóa chữ Nôm của Liu.☆11Updated 3 years ago
- Lean 定理证明☆22Updated this week
- 一套代码debug库,方便查看调试变量☆19Updated 2 years ago
- Typst blog template based on Zola, typst.ts, and apollo.☆39Updated 6 months ago
- ☆204Updated last year
- Forge wonderful chat messages in typst☆95Updated last week
- ☆36Updated 3 years ago
- The backend service of Lyrio, which powers LibreOJ☆125Updated last year
- The sources of hacking XueHai, By WaterDryerTeam☆35Updated 5 years ago