deadfish deadfish is an efficient encoder for the Deadfish programming language, with accurate semantics.