GitHub repository: tetrachrome/Snowlake
Primary language: C++
Description: Declarative language and compiler-compiler for language static type inference rules