Public repository for the course "Interactionprogramming"