GitHub repository: CommBank/PLATYPUS
Primary language: TeX
Description: Lunchtime type theory study group in Sydney