Stars
A proof assistant for higher-dimensional type theory
Minimal implementations for dependent type checking and elaboration
An introductory course to Homotopy Type Theory
A wiki for collaborative work on totally legitimate "category theory"
A party game for nerdy cryptographers. Shamelessly based on Cards Against Humanity.