I'm writing a game engine in Haskell [ghengin]. I wrote an equality saturation library in Haskell [hegg]. I finished an album in 2018 [Ununited by Romes].