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