GitHub repository: metaborg/flowspec
Primary language: Java
Description: Control- and Data-Flow Specification meta-language