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