Avatar
LightQuantum
E53E D56B 7F20 B7BB
CS undergraduate @SJTU-20.
Coding with ♡.

ENFP-T | She/Her | Coq | Rust | SJTUG | Vim | Keyboardist

Enjoy developing open-source projects, playing digital synthesizers.

I love to connect with people. PMs are welcomed.

TwitterTelegram

You may wish to check out my formal profile.