HKUST Course: The Theory of Types and Programming Languages (2022 Spring)
COMP 5713 assignment TeX source files and submission archives.
An optimized REPL for untyped lambda calculus, implemented in Rust.
Localize Craft workspaces.
Synchronize HKUST CSE seminars to Notion databases.
My new personal website, in a refurbished way
Automatically reserve badminton time slots
The project for the rendering part of COMP5411 (advanced computer graphics)
A Rust replica of https://github.com/LingDong-/ndwfc
The 3rd (written) assignment of COMP5411 (advanced computer graphics)