straten.github.io This is the repository for the github pages published at https://straten.github.io/