The repository for my theory of computation course