GitHub repository: vcvpaiva/Dialectica
Primary language: Agda
Description: 2022 AMS MRC on Applied Category Theory.