Pluggable type-checking for Java

Tools for type annotations in Java

The reference implementation for the JSpecify nullness specification (and later, its other specifications as well)

Demos for the Checker Framework

Google Core Libraries for Java 6+

A template for an EISOP Checker Framework checker hosted outside the main eisop/checker-framework repository.