A repository for a project concerning copatterns.