.jekyll-cache
.agda-html
_site
*.agdai
.jekyll-metadata
.*.~undo-tree~