Educational tutorials A repository of educational tutorials for workshops and teaching. First commit: 2023-09-30