GitHub repository: kelloggm/empty-checker
Primary language: Java
Created: 2019-05-03T21:52:42Z
Description: An empty Checker Framework checker intended as a template