Popular repositories Loading

1. checker-framework checker-framework Public

   Pluggable type-checking for Java

   Java 1.1k 431

2. annotation-tools annotation-tools Public archive

   Tools for type annotations in Java

   Java 40 35

3. sparta sparta Public

   Static Program Analysis for Reliable Trusted Apps

   Java 23 9

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 6 2

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

   Demos for the Checker Framework

   Java 5 9