Code from the TPOP EDP Workshop