🏫 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:
OCaml 10 hrs 29 mins ██████████████████░░░░░░░ 70.08 %
C 1 hr 43 mins ███░░░░░░░░░░░░░░░░░░░░░░ 11.47 %
Other 1 hr 14 mins ██░░░░░░░░░░░░░░░░░░░░░░░ 08.32 %
C++ 38 mins █░░░░░░░░░░░░░░░░░░░░░░░░ 04.26 %
Makefile 34 mins █░░░░░░░░░░░░░░░░░░░░░░░░ 03.84 %
🔥 Editors:
VS Code 14 hrs 58 mins █████████████████████████ 100.00 %
🐱💻 Projects:
x-star 11 hrs 23 mins ███████████████████░░░░░░ 76.11 %
hol-lite 1 hr 21 mins ██░░░░░░░░░░░░░░░░░░░░░░░ 09.08 %
hw1 57 mins ██░░░░░░░░░░░░░░░░░░░░░░░ 06.40 %
hol-light-native 40 mins █░░░░░░░░░░░░░░░░░░░░░░░░ 04.53 %
hol-light 29 mins █░░░░░░░░░░░░░░░░░░░░░░░░ 03.26 %
💻 Operating System:
WSL 14 hrs 58 mins █████████████████████████ 100.00 %
I Mostly Code in Rust
Rust 33 repos ███████░░░░░░░░░░░░░░░░░░ 28.21 %
Python 23 repos █████░░░░░░░░░░░░░░░░░░░░ 19.66 %
TypeScript 7 repos █░░░░░░░░░░░░░░░░░░░░░░░░ 05.98 %
Dockerfile 4 repos █░░░░░░░░░░░░░░░░░░░░░░░░ 03.42 %
OCaml 3 repos █░░░░░░░░░░░░░░░░░░░░░░░░ 02.56 %
Last Updated on 2024-10-05 01:21:36 UTC