- ๐ผ I'm an undergraduate @ SJTU-SPEIT.
- ๐ญ I'm currently working on Formal Verification with Rocq (formally Coq) Prover.
- ๐ฑ I'm currently learning Operating System, Type Theory, Program Logic, etc.
- ๐ฏ I'm looking to collaborate on NixOS contribution.
- ๐ฌ Working languages: ไธญๆ(ๆฎ้่ฏ), English, Franรงais. Feel free to ask me anything about SJTU-SPEIT.
- ๐ซ How to reach me via e-mail: hjsdbb1@gmail.com
From: 08 December 2025 - To: 15 December 2025
Total Time: 13 hrs 46 mins
Nix 13 hrs 4 mins โโโโโโโโโโโโโโโโโโโโโโโโโ 94.83 %
Python 36 mins โโโโโโโโโโโโโโโโโโโโโโโโโ 04.46 %
YAML 2 mins โโโโโโโโโโโโโโโโโโโโโโโโโ 00.26 %
JSON 1 min โโโโโโโโโโโโโโโโโโโโโโโโโ 00.14 %
Other 0 secs โโโโโโโโโโโโโโโโโโโโโโโโโ 00.11 %