Implementation of demos from Learnable Programming