HoTT की ट्रैक की गई ओपन सोर्स रिपॉजिटरी, स्टार के हिसाब से क्रमबद्ध।
अनौपचारिक होमोटोपी टाइप थ्योरी पर एक पाठ्यपुस्तक
Homotopy Type Theory के लिए एक Coq लाइब्रेरी
