The Type Annotations Compiler is a fully backwards compatible customization
of the Open JDK javac compiler with additional support for type annotations.
Current Group
org.checkerframework
The Checker Framework enhances Java's type system to make it more powerful and useful. This lets software developers ...
Related Categories
