🏫 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:
Rust 6 hrs 22 mins ██████░░░░░░░░░░░░░░░░░░░ 23.92 %
Astro 6 hrs 5 mins ██████░░░░░░░░░░░░░░░░░░░ 22.86 %
Markdown 3 hrs 31 mins ███░░░░░░░░░░░░░░░░░░░░░░ 13.23 %
Other 2 hrs 34 mins ██░░░░░░░░░░░░░░░░░░░░░░░ 09.66 %
HTML 2 hrs 14 mins ██░░░░░░░░░░░░░░░░░░░░░░░ 08.41 %
🔥 Editors:
VS Code 26 hrs 37 mins █████████████████████████ 100.00 %
🐱💻 Projects:
wybxc 10 hrs 36 mins ██████████░░░░░░░░░░░░░░░ 39.81 %
pagecrypt 8 hrs 16 mins ████████░░░░░░░░░░░░░░░░░ 31.08 %
cardgame 3 hrs 33 mins ███░░░░░░░░░░░░░░░░░░░░░░ 13.39 %
夏令营 2 hrs 28 mins ██░░░░░░░░░░░░░░░░░░░░░░░ 09.31 %
hol-lite 1 hr 35 mins █░░░░░░░░░░░░░░░░░░░░░░░░ 05.96 %
💻 Operating System:
Windows 25 hrs 2 mins ████████████████████████░ 94.04 %
WSL 1 hr 35 mins █░░░░░░░░░░░░░░░░░░░░░░░░ 05.96 %
I Mostly Code in Rust
Rust 32 repos ███████░░░░░░░░░░░░░░░░░░ 28.57 %
Python 22 repos █████░░░░░░░░░░░░░░░░░░░░ 19.64 %
OCaml 2 repos ░░░░░░░░░░░░░░░░░░░░░░░░░ 01.79 %
Scala 1 repo ░░░░░░░░░░░░░░░░░░░░░░░░░ 00.89 %
Slash 1 repo ░░░░░░░░░░░░░░░░░░░░░░░░░ 00.89 %
Last Updated on 2024-07-02 01:11:42 UTC