🏫 I'm a PhD student of Computer Science at Peking University.
📓 My research interests are:
- Programming Languages
- Formal Verification
- Functional Programming
- Compilers
🌟 My Skills:
📊 This Week I Spent My Time On
🕑︎ Time Zone: Asia/Shanghai
💬 Programming Languages:
No Activity Tracked This Week
🔥 Editors:
No Activity Tracked This Week
🐱💻 Projects:
No Activity Tracked This Week
💻 Operating System:
No Activity Tracked This Week
I Mostly Code in Rust
Rust 45 repos ███████░░░░░░░░░░░░░░░░░░ 29.22 %
TypeScript 15 repos ██░░░░░░░░░░░░░░░░░░░░░░░ 09.74 %
OCaml 6 repos █░░░░░░░░░░░░░░░░░░░░░░░░ 03.90 %
TeX 5 repos █░░░░░░░░░░░░░░░░░░░░░░░░ 03.25 %
C++ 4 repos █░░░░░░░░░░░░░░░░░░░░░░░░ 02.60 %
Last Updated on 2025-10-12 01:40:04 UTC