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.
You may wish to check out my formal profile.