🏫 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 1 hr 13 mins ███████████████░░░░░░░░░░ 58.60 %
Markdown 31 mins ██████░░░░░░░░░░░░░░░░░░░ 25.12 %
C 20 mins ████░░░░░░░░░░░░░░░░░░░░░ 16.05 %
OCaml 0 secs ░░░░░░░░░░░░░░░░░░░░░░░░░ 00.23 %
🔥 Editors:
VS Code 2 hrs 4 mins █████████████████████████ 100.00 %
🐱💻 Projects:
随机过程 1 hr 13 mins ███████████████░░░░░░░░░░ 58.60 %
hol-lite 51 mins ██████████░░░░░░░░░░░░░░░ 41.40 %
💻 Operating System:
Windows 1 hr 13 mins ███████████████░░░░░░░░░░ 58.60 %
WSL 51 mins ██████████░░░░░░░░░░░░░░░ 41.40 %
I Mostly Code in Rust
Rust 30 repos ███████░░░░░░░░░░░░░░░░░░ 27.03 %
Python 22 repos █████░░░░░░░░░░░░░░░░░░░░ 19.82 %
OCaml 2 repos ░░░░░░░░░░░░░░░░░░░░░░░░░ 01.80 %
Scala 1 repo ░░░░░░░░░░░░░░░░░░░░░░░░░ 00.90 %
Slash 1 repo ░░░░░░░░░░░░░░░░░░░░░░░░░ 00.90 %
Last Updated on 2024-05-27 01:09:45 UTC