GitHub repository: wolverian/sf
Primary language: Agda
Description: Introduction to programming language theory in Agda.