The Homotopy Type Theory wiki has 9 page categories. Click on a category to see the list of pages belonging to it.