ice1000 / multi-school-sopLinks
A latex template for writing statement-of-purpose for many schools at the same time
☆43Updated last year
Alternatives and similar repositories for multi-school-sop
Users that are interested in multi-school-sop are comparing it to the libraries listed below
Sorting:
- An awesome language and its compiler.☆33Updated 3 years ago
- C-like language compiler, the final project of ZJU Compiler Principle course☆43Updated 2 years ago
- 😍 Rip-off of rip-off of skyzh's CV, using typst☆146Updated 8 months ago
- A C0 compiler for homework | C0 编译器 | 北航软院编译原理大作业☆30Updated 5 years ago
- Plagiarism detection tool in Rust (inspired by Stanford Moss)☆51Updated 2 months ago
- An open-source anonymous forum frontend.☆54Updated 3 years ago
- Library for generating/parsing/optimizing Koopa IR.☆123Updated 6 months ago
- Just for fun riscv64 emulator, which boots the Linux.☆41Updated 2 years ago
- 🍀 Chi is a subset of Common Lisp, implemented in Python3. Yet another mal.☆16Updated 4 years ago
- A well-documented minimal dependently-typed language for my friend Lyzh☆27Updated 4 months ago
- Tutorial for assignment of Introduction to Database System☆11Updated 5 months ago
- MoonBit Port of Implementations for Pierce's Types and Programming Languages☆63Updated 3 months ago
- 2022 年春季学期清华大学《软件分析与验证》课程实验平台 (Lab for Software Analysis and Verification, 2022 Spring, Tsinghua University)☆210Updated 3 months ago
- A Collection of Papers & Notes in Programming Language & Formal Verification☆17Updated 3 years ago
- A summary of my projects☆49Updated 3 months ago
- Yet Another AsYnc runtime for RuSt.☆34Updated 5 years ago
- Recommended coding standard of Verilog and SystemVerilog.☆34Updated 3 years ago
- ntype cafe summer school resources☆139Updated last year
- Tiny theorem prover with syntax like Lean 4 in <1K LOC☆29Updated 2 months ago
- What are learned in tiktoken?☆69Updated last year
- 我，秦始皇，打钱！可以开发票。☆56Updated 8 months ago
- USTC OSH 2024 Course Homepage☆15Updated last year
- Codes for MO's Trading☆15Updated 3 years ago
- Mr. Chi simulator!☆26Updated 4 years ago
- Hall of Shame☆67Updated 4 years ago
- 支持 USTC 统一身份认证系统鉴权的反向代理，让你的网站只有科大人可以访问☆25Updated 4 years ago
- Forge wonderful chat messages in typst☆88Updated last week
- preview your typst document in instant☆28Updated 2 years ago
- ☆23Updated 2 years ago
- 在 Telegram 上快速模仿迟先生卖弱。☆10Updated 3 years ago