GitHub repository: mbg/semantics-exercises
Primary language: TeX
Description: LaTeX sources for Semantics of Programming Languages exercises