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)