GitHub repository: kelloggm/gradle-checker-framework-plugin
Primary language: Groovy
Description: Gradle plugin to use the Checker Framework for Java.