typetools

Popular repositories

1. checker-framework Public

   Pluggable type-checking for Java

   Java 789 299

2. annotation-tools Public

   Tools for type annotations in Java

   Java 31 31

3. sparta Public

   Static Program Analysis for Reliable Trusted Apps

   Java 21 12

4. checker-framework-inference Public

   Inference of pluggable types for Java

   Java 10 31

5. javarifier Public

   Inference of Javari reference immutability types for Java

   Java 4 2

6. checker-framework.demos Public

   Demos for the Checker Framework

   Java 3 6