🏫 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 4 hrs 55 mins ███████████████░░░░░░░░░░ 58.92 %
Markdown 2 hrs 8 mins ██████░░░░░░░░░░░░░░░░░░░ 25.54 %
Makefile 28 mins █░░░░░░░░░░░░░░░░░░░░░░░░ 05.60 %
YAML 16 mins █░░░░░░░░░░░░░░░░░░░░░░░░ 03.34 %
Other 12 mins █░░░░░░░░░░░░░░░░░░░░░░░░ 02.56 %
🔥 Editors:
VS Code 8 hrs 21 mins █████████████████████████ 100.00 %
🐱💻 Projects:
rustc_codegen_c 5 hrs 54 mins ██████████████████░░░░░░░ 70.72 %
hol-lite 2 hrs 21 mins ███████░░░░░░░░░░░░░░░░░░ 28.27 %
test1 5 mins ░░░░░░░░░░░░░░░░░░░░░░░░░ 01.01 %
💻 Operating System:
WSL 8 hrs 21 mins █████████████████████████ 100.00 %
I Mostly Code in Rust
Rust 33 repos ███████░░░░░░░░░░░░░░░░░░ 28.95 %
Python 22 repos █████░░░░░░░░░░░░░░░░░░░░ 19.30 %
OCaml 2 repos ░░░░░░░░░░░░░░░░░░░░░░░░░ 01.75 %
Scala 1 repo ░░░░░░░░░░░░░░░░░░░░░░░░░ 00.88 %
Slash 1 repo ░░░░░░░░░░░░░░░░░░░░░░░░░ 00.88 %
Last Updated on 2024-07-18 01:12:07 UTC