## π€§ More About Me
TBD.
### π Current Learning
I'm currently learning Agda and making a simple programming language interpreter.
### π Recent Blog
TBD.
## π― Current Project
- icekylin.github.io
- My personal blog
- YEAH
- YEt Another Homepage (for homeserver or NAS)
- Mood Design UI
- Mood design component library implemented by Svelte
- rnetcat
- A simple netcat implemented by Rust
## π§ Finished Project
- arch-guide
- A guide for Arch Linux
- typst-cv-miku
- A simple, elegant, academic style CV template for typst
$ Blog . Linkedin . X . BiliBili . Buy Me a Coffee $