Skip to content
@typetools

typetools

Popular repositories

  1. Pluggable type-checking for Java

    Java 789 299

  2. Tools for type annotations in Java

    Java 31 31

  3. sparta Public

    Static Program Analysis for Reliable Trusted Apps

    Java 21 12

  4. Inference of pluggable types for Java

    Java 10 31

  5. Inference of Javari reference immutability types for Java

    Java 4 2

  6. Demos for the Checker Framework

    Java 3 6

Repositories

Top languages

Loading…

Most used topics

Loading…