GitHub repository: kframework/viper-semantics
Primary language: Python
Description: KViper: Semantics of Viper in K