Primarily interested in compilers, formal methods, reverse engineering, and denotational semantics
For more information on the package registry, see the documentation.