About me

Hey there!
I’m Vasiliy Yorkin, I make things with computers and explore the Universe.
I’m into statically typed functional programming, compilers, type theory, and formal verification.
Here I share some of what I do.
Most of my open source work is available on GitHub.

Contact Link to heading

• If you want a quick response – chat with me in Telegram
• And if you don’t want a quick response you can drop a mail at vasiliy.yorkin@gmail.com
• I have Calendly, but I hate meetings