GitHub repository: AdamZsofi/gamma
Primary language: Xtend
Description: An Eclipse-based modeling framework for the component-based design and analysis of reactive systems