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