~luyu

https://luyu.blog

~luyu/ttapl-2022-grading

HKUST Course: The Theory of Types and Programming Languages (2022 Spring)

~luyu/comp5713

COMP 5713 assignment TeX source files and submission archives.

~luyu/untyped

An optimized REPL for untyped lambda calculus, implemented in Rust.

~luyu/localized-craft

Localize Craft workspaces.

~luyu/hkust-cse-seminars

Synchronize HKUST CSE seminars to Notion databases.

~luyu/my-space

My new personal website, in a refurbished way

~luyu/hkust-badminton

Automatically reserve badminton time slots

~luyu/comp5411-rendering-project

The project for the rendering part of COMP5411 (advanced computer graphics)

~luyu/ndwfc-rs

A Rust replica of https://github.com/LingDong-/ndwfc

~luyu/comp5411-asgn3

The 3rd (written) assignment of COMP5411 (advanced computer graphics)