Welcome! My name is Evgenia Karunus.
I've been programming for many years, I'm into open-source and I created memcode
At the moment, I'm studying mathematics and proof assistants (think Lean). I'm also drawn to physics (less so lately) and neuroscience (more so lately), both help me interface with the outside world.

Here's my Github and Twitter (or just ask me for an alt right away).
And welcome to contact me at