workshop-code

Code and related data for workshops conducted by us.