GitHub repository: Gradual-Typing/Grift
Primary language: C
Description: A compiler for the gradually typed lambda calculus