GitHub repository: lemastero/hott-wiki
Primary language: Agda
Description: playground for type theory, HoTT, PLT in Agda