The Wayback Machine - https://web.archive.org/web/20250114055023/https://github.com/chengluyu
Skip to content
View chengluyu's full-sized avatar
😁
Working on a new project...
😁
Working on a new project...
278 followers · 342 following

Achievements

Achievement: Pull Sharkx3Achievement: Pair Extraordinairex2Achievement: StarstruckAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pull Sharkx3Achievement: Pair Extraordinairex2Achievement: StarstruckAchievement: Arctic Code Vault Contributor

Highlights

  • Pro

Organizations

@hkust-taco

Block or report chengluyu

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
chengluyu/README.md

👋 Hi, there!

I’m Luyu Cheng. I’m a PhD candidate at HKUST TACO supervised by Lionel Parreaux. I'm working on improving the expressiveness and efficiency of pattern matching of MLscript.

Publications

  • Luyu Cheng and Lionel Parreaux. 2024. The Ultimate Conditional Syntax.
    Proc. ACM Program. Lang. 8, OOPSLA2, Article 306 (October 2024), 30 pages.
    🏆 Distinguished Paper Award • Artifacts • Online Web Demo • DOI • ACM Digital Library

Pinned Loading

  1. hkust-taco/mlscript hkust-taco/mlscript Public

    The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to have full interop with TypeScript!

    Scala 178 28

  2. RealKai42/qwerty-learner RealKai42/qwerty-learner Public

    为键盘工作者设计的单词记忆与英语肌肉记忆锻炼软件 / Words learning and English muscle memory training software designed for keyboard workers

    TypeScript 16.4k 1.6k

  3. microsoft/vscode microsoft/vscode Public

    Visual Studio Code

    TypeScript 166k 30k