Pinned Loading

1. checker-framework checker-framework Public

   Forked from typetools/checker-framework

   Pluggable type-checking for Java

   Java 1

2. annotated-libraries annotated-libraries Public

   Forked from typetools/annotated-libraries

   Pre-built versions of several libraries containing additional specifications.

3. guava guava Public

   Forked from typetools/guava

   Google Core Libraries for Java 6+

   Java

4. typetools/checker-framework typetools/checker-framework Public

   Pluggable type-checking for Java

   Java 1.1k 437

5. typetools/annotated-libraries typetools/annotated-libraries Public

   Pre-built versions of several libraries containing additional specifications.

   8

6. typetools/guava typetools/guava Public

   Forked from google/guava

   Google Core Libraries for Java 6+

   Java 1 10