Welcome! My name is Evgenia Karunus.
I've been programming for years, I'm into open-source and I created memcode
I'm interested in mathematics and proof assistants, and I'm working on Lean at the moment. I've also done a surprising amount of neuroscience-adjacent projects over the years.

Here's my Github and Twitter.
And welcome to contact me at