GitHub repository: ssbothwell/plfa.github.io
Primary language: HTML
Description: Introduction to programming language theory in Agda.