Popular repositories

1. checker-framework checker-framework Public

   Forked from typetools/checker-framework

   Pluggable type-checking for Java

   Java 1

2. plume-lib plume-lib Public

   Forked from mernst/plume-lib

   A library of useful abstractions for programming

   Emacs Lisp 1

3. CFGVisualization CFGVisualization Public

   Forked from CharlesZ-Chen/CFGVisualization

   Control Flow Graph Visualization for Checker Framework

   Java

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

   Forked from opprop/checker-framework-inference

   Inference of pluggable types for Java

   Java

5. annotation-tools annotation-tools Public

   Forked from typetools/annotation-tools

   Tools for type annotations in Java

   Java

6. ontology ontology Public

   Forked from opprop/ontology

   Java 1