GitHub repository: travitch/quala
Primary language: C++
Description: custom type systems for Clang