A latex template for writing statement-of-purpose for many schools at the same time
☆46Dec 11, 2023Updated 2 years ago
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:
- My type-ups for copilot to learn from.☆11Aug 30, 2022Updated 3 years ago
- Conference on Homotopy Type Theory 2023☆13Jan 24, 2024Updated 2 years ago
- 🦖 Implementations of various type inference algorithms. Online playground is at https://zoo.cuichen.cc/☆21Sep 20, 2025Updated 5 months ago
- Interpreter and compiler for the ISA specification language "Architecture Specification Language" (ASL)☆28Sep 8, 2025Updated 6 months ago
- The Ultimate Online Judge Platform.☆20Jan 31, 2026Updated last month
- Distributions of Agda executable compiled into WebAssembly.☆25Nov 9, 2025Updated 4 months ago
- Elegant maps and elements of Nanjing Metro☆30Jan 11, 2026Updated last month
- A memory allocator verified with Verus☆33Feb 18, 2026Updated 2 weeks ago
- Unblock Ticket Request System☆14Jun 8, 2020Updated 5 years ago
- The repository for HKU ENGG1340 Group Project (24/25 Semester 2).☆10Jun 22, 2025Updated 8 months ago
- A well-documented minimal dependently-typed language for my friend Lyzh☆27Feb 7, 2025Updated last year
- Deprecated☆40Nov 2, 2025Updated 4 months ago
- A fake SSH tarpit that logs passwords and commands from attackers☆38Dec 16, 2025Updated 2 months ago
- Repositório oficial da disciplina de Criatividade Computacional do CIn/UFPE☆12Jul 5, 2025Updated 8 months ago
- My slides and notes☆140May 31, 2023Updated 2 years ago
- Typst blog template based on Zola, typst.ts, and apollo.☆40Jun 8, 2025Updated 9 months ago
- Yet Another AsYnc runtime for RuSt.☆33Feb 1, 2020Updated 6 years ago
- Open, hand-typed notes by HKU students, for HKU students.☆18Sep 5, 2025Updated 6 months ago
- ☆11Aug 23, 2023Updated 2 years ago
- Agda Library to Study the Expressive Power of Languages for Static Variability☆13Dec 13, 2025Updated 2 months ago
- ☆12Aug 7, 2022Updated 3 years ago
- One-for-all python script for running LLVM experiment☆11Jun 30, 2022Updated 3 years ago
- GOOSE Opens workOut for SEU undErgraduates☆22Jan 28, 2026Updated last month
- ☆40Aug 22, 2023Updated 2 years ago
- A tool for cross-checking Verilog compilers☆14Apr 16, 2025Updated 10 months ago
- 个人主页介绍与个人文章站源码(Github Pages)。☆13Jul 29, 2024Updated last year
- Download m3u8 video☆10Aug 31, 2020Updated 5 years ago
- A lightweight WAF (web app firewall) written in Golang☆13May 3, 2021Updated 4 years ago
- Implementation of Pie, following The Little Typer☆19Updated this week
- ☆14Oct 30, 2024Updated last year
- A terminal text editor written in MoonBit☆11Apr 7, 2025Updated 11 months ago
- ☆13Jan 21, 2026Updated last month
- Download mp3 files and metadata from NetEase cloud music a.k.a. music.163.com☆10Jun 30, 2021Updated 4 years ago
- ☆12Apr 18, 2023Updated 2 years ago
- Yet another Bloomfilter implementation in Python, compatible with Java's Guava library☆12Aug 10, 2024Updated last year
- Yat another MySQL storage engine, a database course project.☆13Dec 23, 2022Updated 3 years ago
- Accelerate multihead attention transformer model using HLS for FPGA☆11Dec 7, 2023Updated 2 years ago
- A small Kotlin multiplatform library to provide a "chat-like" console on various platforms.☆10Jun 29, 2024Updated last year
- Class materials, homeworks and videos for probation preparation.☆19Feb 3, 2026Updated last month