GitHub repository: AndersAarsaether/Maude_Metacontrol
Primary language: Python
Description: Try to model a smart home, modelled with metacontrol, with Maude