Projects for Language an Theory of Programming course