GitHub repository: sanbales/pymbe
Primary language: Python
Description: A project to experiment with and validate semantics for KerML and SysML v2