ilhikki

Pinned Repositories

ague-dht
磁力链接嗅探器
Language:Java14 2 07
maguet
磁力链接转种子
Language:Java156
book
A textbook on informal homotopy type theory
Language:TeX2k 122 633358
book
A textbook on informal homotopy type theory
Language:TeX0 1 00
hott-book-zh
《The HoTT Book》中文翻译
Language:TeX6 3 10
toy
Language:HTML0 1 00
web-2fa
Web-2FA is a small project that calculates two-factor authentication (2FA) directly on a web page
Language:HTML00

ilhikki's Repositories

ilhikki/hott-book-zh
《The HoTT Book》中文翻译
Language:TeX6 3 10
ilhikki/book
A textbook on informal homotopy type theory
Language:TeX0 1 00
ilhikki/toy
Language:HTML0 1 00
ilhikki/web-2fa
Web-2FA is a small project that calculates two-factor authentication (2FA) directly on a web page
Language:HTML00