Hi Daniel, welcome. We have a repository on Github [here](https://github.com/azimuth-project/applied-category-theory-course). If you send me your Github username I can add you as a collaborator.