Martin Escardo's repositories
HoTTEST-Summer-School
HoTTEST Summer School materials
TypeTopology
Logical manifestations of topological concepts, and other things, via the univalent point of view.
HoTT-UF-Agda-Lecture-Notes
Lecture notes on univalent foundations of mathematics with Agda
EffectfulForcing
Files related to my paper "Continuity of Godel's system T functionals via effectful forcing". MFPS'2013. Electronic Notes in Theoretical Computer Science 01/2013, volume 298, pages 119-141.
agda-stdlib
The Agda standard library
birmingham-theory
The web page for the Birmingham theoretical computer science research group
hott-notes
15-819 (Homotopy Type Theory) Lecture Notes
mathematics-and-computation
Andrej Bauer's blog "Mathematics and Computation"