🏫 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 46 repos ███████░░░░░░░░░░░░░░░░░░ 29.49 %
TypeScript 15 repos ██░░░░░░░░░░░░░░░░░░░░░░░ 09.62 %
TeX 5 repos █░░░░░░░░░░░░░░░░░░░░░░░░ 03.21 %
C++ 4 repos █░░░░░░░░░░░░░░░░░░░░░░░░ 02.56 %
Dart 2 repos ░░░░░░░░░░░░░░░░░░░░░░░░░ 01.28 %
Last Updated on 2025-10-21 01:40:49 UTC