typetools/checker-framework

Typetools/checker‑framework is an open‑source library that brings pluggable type‑checking to Java, allowing developers to define and enforce custom type qualifi