GitHub repository: mattpaletta/typecheck
Primary language: C++
Description: Language agnostic type checking framework for language-implementers.