GitHub repository: leanprover/KLR
Primary language: C
Description: A formalization of ML kernel languages