GitHub repository: CptWesley/GOALkeeper
Primary language: Java
Description: Static analysis tools for GOAL programming language.