Popular repositories

1. checker-framework-inference checker-framework-inference Public

   Forked from typetools/checker-framework-inference

   Inference of pluggable types for Java

   Java 5 13

2. immutability immutability Public

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

   Java 3 4

3. value-inference value-inference Public

   Java 2 3

4. checker-framework checker-framework Public

   Forked from typetools/checker-framework

   Pluggable type-checking for Java

   Java 1 11

5. ontology ontology Public

   Java 1 9

6. ReadChecker ReadChecker Public

   Forked from CharlesZ-Chen/ReadChecker

   Java 1