Code from the Forma'13 Workshop - Sevilla 2013