GitHub repository: usethesource/typepal
Primary language: Rascal
Description: TypePal is a framework for name analysis, type checking and type inference