🏫 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:
Other 36 mins ███████████████████░░░░░░ 75.17 %
Markdown 11 mins ██████░░░░░░░░░░░░░░░░░░░ 23.36 %
C 0 secs ░░░░░░░░░░░░░░░░░░░░░░░░░ 00.74 %
Makefile 0 secs ░░░░░░░░░░░░░░░░░░░░░░░░░ 00.61 %
Docker 0 secs ░░░░░░░░░░░░░░░░░░░░░░░░░ 00.12 %
🔥 Editors:
VS Code 49 mins █████████████████████████ 100.00 %
🐱💻 Projects:
软件测试 36 mins ███████████████████░░░░░░ 75.17 %
hol-lite 12 mins ██████░░░░░░░░░░░░░░░░░░░ 24.83 %
💻 Operating System:
Windows 36 mins ███████████████████░░░░░░ 75.17 %
WSL 12 mins ██████░░░░░░░░░░░░░░░░░░░ 24.83 %
I Mostly Code in Rust
Rust 31 repos ███████░░░░░░░░░░░░░░░░░░ 27.93 %
Python 22 repos █████░░░░░░░░░░░░░░░░░░░░ 19.82 %
OCaml 2 repos ░░░░░░░░░░░░░░░░░░░░░░░░░ 01.80 %
Scala 1 repo ░░░░░░░░░░░░░░░░░░░░░░░░░ 00.90 %
Slash 1 repo ░░░░░░░░░░░░░░░░░░░░░░░░░ 00.90 %
Last Updated on 2024-06-03 01:10:38 UTC