Các kho mã nguồn mở đang theo dõi của HoTT, sắp xếp theo số sao.
Sách giáo khoa về lý thuyết kiểu homotopy phi hình thức
Một thư viện Coq dành cho Lý thuyết Kiểu Đồng luân (Homotopy Type Theory)
