Besides writing papers mostly in private repositories, I'm currently working on the Symmetry book: a textbook on group theory from the point of view of univalent mathematics in homotopy type theory.