GitHub repository: uemurax/hott-ja
Primary language: Racket
Description: HoTT in Japanese