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