Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine.