GitHub repository: requimrar/alloy
Primary language: C
Description: Compiler for the Alloy programming language, written from scratch in C.