Prevent this user from interacting with your repositories and sending you notifications.
Learn more about blocking users.
Contact GitHub support about this user’s behavior.
Learn more about reporting abuse.
Public implementation of Crafty, published in PLDI 2020. https://arxiv.org/abs/2004.00262
Qualitative user study survey for comparing images.
A simple Turing Machine simulator, and an esolang.
My personal (static) website, generated with Clojure using perun.
Seeing something unexpected? Take a look at the
GitHub profile guide.