Skip to content
@opprop

opprop

Optional Properties Research Group

Popular repositories Loading

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

    Forked from typetools/checker-framework-inference

    Inference of pluggable types for Java

    Java 6 13

  2. immutability immutability Public

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

    Java 3 5

  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

Repositories

Showing 10 of 21 repositories

Top languages

Loading…

Most used topics

Loading…