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.