GitHub repository: viper-org/vipir
Primary language: C++
Description: Intermediate language for the viper toolchain