GitHub repository: Beluga-lang/Meta
Primary language: TeX
Description: Mechanizing Types and Programming Languages using Beluga