Pinned Loading

1. checker-frameworkchecker-frameworkPublic

   Forked from eisop/checker-framework

   Pluggable type-checking for Java

   Java

2. checker-framework-inferencechecker-framework-inferencePublic

   Forked from opprop/checker-framework-inference

   Inference of pluggable types for Java

   Java

3. immutabilityimmutabilityPublic

   Forked from lnsun/immutability

   Practical Immutability For Classes And Objects Type System(PICO) enforces transitive class and object level immutability

   Java

4. universeuniversePublic

   Forked from opprop/universe

   Generic Universe Type System

   Java

5. opprop/checker-framework-inferenceopprop/checker-framework-inferencePublic

   Forked from typetools/checker-framework-inference

   Inference of pluggable types for Java

   Java 5 13

6. opprop/immutabilityopprop/immutabilityPublic

   The Practical Immutability for Classes and Objects (PICO) type system enforces transitive class and object immutability

   Java 2 5