 A Janus inverter and interpreter is made freely available by the TOPPS research group at DIKU.Another Janus interpreter was implemented in Prolog in 2009.The below summarises the language presented in the 2007 paper.