opprop

Popular repositories Loading

1. checker-framework-inference checker-framework-inferencePublic

   Forked from typetools/checker-framework-inference

   Inference of pluggable types for Java

   Java 5 13

2. immutability immutabilityPublic

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

   Java 2 5

3. value-inference value-inferencePublic

   Java 2 3

4. ontology ontologyPublic

   Java 1 9

5. ReadChecker ReadCheckerPublic

   Forked from CharlesZ-Chen/ReadChecker

   Java 1

6. universe universePublic

   Generic Universe Type System

   Java 1 10