Popular repositories

1. checker-framework checker-framework Public

   Pluggable type-checking for Java

   Java 951 380

2. annotation-tools annotation-tools Public

   Tools for type annotations in Java

   Java 36 35

3. sparta sparta Public

   Static Program Analysis for Reliable Trusted Apps

   Java 21 10

4. checker-framework-inference checker-framework-inference Public

   Inference of pluggable types for Java

   Java 10 33

5. javarifier javarifier Public

   Inference of Javari reference immutability types for Java

   Java 5 2

6. checker-framework.demos checker-framework.demos Public

   Demos for the Checker Framework

   Java 5 9