Hi there 👋 Welcome to my GitHub :) Avid Rust programmer, dabbling in other languages as well. Interested in compilers, formal verification and programming language theory.