GitHub repository: xingweitian/templatefora-checker
Primary language: Java
Description: A template for a Checker Framework checker hosted outside the main typetools/checker-framework repository.