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.