Group: Checker Framework
1.Checker Qual2,864 usages
org.checkerframework » checker-qual MIT
checker-qual contains annotations (type qualifiers) that a programmerwrites to specify Java code for type-checking by the Checker Framework.
Last Release on May 2, 2026
2.Checker Qual659 usages
org.checkerframework » checker-compat-qual MIT
Checker Qual is the set of annotations (qualifiers) and supporting classes
used by the Checker Framework to type check Java source code. Please
see artifact:
org.checkerframework:checker
Last Release on Nov 2, 2023
Relocated → org.checkerframework »
checker-qual
3.Checker Qual Android7 usages
org.checkerframework » checker-qual-android MIT
checker-qual-android contains annotations (type qualifiers) that a programmer
writes to specify Java code for type-checking by the Checker Framework.
The checker-qual-android artifact is identical to the checker-qual
artifact, except that in ...
Last Release on May 1, 2026
4.Checker Util7 usages
org.checkerframework » checker-util MIT
checker-util contains utility classes for programmers to use at run time.
Last Release on May 1, 2026
5.Checker Qual3 usages
org.checkerframework » checker-qual7 GPL +1
Checker Qual is the set of annotations (qualifiers) and supporting classes
used by the Checker Framework to type check Java source code. Please
see artifact:
org.checkerframework:checker
Last Release on Mar 1, 2018
6.Checker Framework Testing Library3 usages
org.checkerframework » testlib GPL +1
Testlib is a collection of utility classes for testing checkers that use the Checker Framework.
Last Release on Aug 1, 2018
