🏫 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 2 hrs 40 mins █████████████████████████ 98.33 %
Text 2 mins ░░░░░░░░░░░░░░░░░░░░░░░░░ 01.47 %
Other 0 secs ░░░░░░░░░░░░░░░░░░░░░░░░░ 00.10 %
JSON 0 secs ░░░░░░░░░░░░░░░░░░░░░░░░░ 00.07 %
Git Config 0 secs ░░░░░░░░░░░░░░░░░░░░░░░░░ 00.02 %
🔥 Editors:
VS Code 2 hrs 43 mins █████████████████████████ 100.00 %
🐱💻 Projects:
hol-lite 2 hrs 43 mins █████████████████████████ 100.00 %
💻 Operating System:
WSL 2 hrs 43 mins █████████████████████████ 100.00 %
I Mostly Code in Rust
Rust 33 repos ███████░░░░░░░░░░░░░░░░░░ 28.45 %
Python 23 repos █████░░░░░░░░░░░░░░░░░░░░ 19.83 %
TypeScript 8 repos ██░░░░░░░░░░░░░░░░░░░░░░░ 06.90 %
OCaml 2 repos ░░░░░░░░░░░░░░░░░░░░░░░░░ 01.72 %
Scala 1 repo ░░░░░░░░░░░░░░░░░░░░░░░░░ 00.86 %
Last Updated on 2024-08-22 01:16:11 UTC