Checker Framework
Pluggable type-checking for Java.
Github:
- 6946943002762015
Workflow integration:
cli
Official Checker Framework Homepage
https://github.com/typetools/checker-framework
GPL with Classpath exception / MIT License
Maintained