Primarily interested in compilers, formal methods, reverse engineering, and denotational semantics I no longer use Github for posting projects. You can also find my projects here