GitHub repository: toeklk/clafer
Primary language: Haskell
Description: Clafer is a lightweight modeling language