🏫 I'm an undergrad of Computer Science and Software Engineering at Peking University.
🌱 I’m currently learning:
- Rust
- Haskell
- Functional Programming
- Program Verification
🌟 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
TypeScript 14 repos ██░░░░░░░░░░░░░░░░░░░░░░░ 09.93 %
TeX 4 repos █░░░░░░░░░░░░░░░░░░░░░░░░ 02.84 %
OCaml 3 repos █░░░░░░░░░░░░░░░░░░░░░░░░ 02.13 %
CSS 3 repos █░░░░░░░░░░░░░░░░░░░░░░░░ 02.13 %
Typst 2 repos ░░░░░░░░░░░░░░░░░░░░░░░░░ 01.42 %
Last Updated on 2025-05-30 01:42:46 UTC