🏫 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:
C 1 hr 9 mins ██████████████████░░░░░░░ 70.54 %
Rust 13 mins ████░░░░░░░░░░░░░░░░░░░░░ 14.07 %
SSH Config 8 mins ██░░░░░░░░░░░░░░░░░░░░░░░ 08.53 %
OCaml 3 mins █░░░░░░░░░░░░░░░░░░░░░░░░ 03.38 %
Markdown 1 min ░░░░░░░░░░░░░░░░░░░░░░░░░ 01.32 %
🔥 Editors:
VS Code 1 hr 38 mins █████████████████████████ 100.00 %
🐱💻 Projects:
hol-light-native 1 hr ███████████████░░░░░░░░░░ 61.48 %
hol-lite 16 mins ████░░░░░░░░░░░░░░░░░░░░░ 16.67 %
selfie 11 mins ███░░░░░░░░░░░░░░░░░░░░░░ 12.00 %
Unknown Project 8 mins ██░░░░░░░░░░░░░░░░░░░░░░░ 08.53 %
sds 1 min ░░░░░░░░░░░░░░░░░░░░░░░░░ 01.32 %
💻 Operating System:
WSL 1 hr 30 mins ███████████████████████░░ 91.47 %
Windows 8 mins ██░░░░░░░░░░░░░░░░░░░░░░░ 08.53 %
I Mostly Code in Rust
Rust 31 repos ███████░░░░░░░░░░░░░░░░░░ 27.19 %
Python 23 repos █████░░░░░░░░░░░░░░░░░░░░ 20.18 %
TypeScript 7 repos ██░░░░░░░░░░░░░░░░░░░░░░░ 06.14 %
Dockerfile 4 repos █░░░░░░░░░░░░░░░░░░░░░░░░ 03.51 %
OCaml 2 repos ░░░░░░░░░░░░░░░░░░░░░░░░░ 01.75 %
Last Updated on 2024-09-21 01:19:10 UTC