typetools/checker-framework — Pluggable type-checking for Java

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