A repo for an interest group at Gdańsk University of Technology.