GitHub repository: leandrotk/programming-language-theory
Primary language: Clojure
Description: Studies on Programming Language Theory & Applied PLT