pascaliUWat

Popular repositories Loading

1. checker-framework checker-frameworkPublic

   Forked from typetools/checker-framework

   Pluggable type-checking for Java

   Java 1

2. plume-lib plume-libPublic

   Forked from mernst/plume-lib

   A library of useful abstractions for programming

   Emacs Lisp 1

3. CFGVisualization CFGVisualizationPublic

   Forked from CharlesZ-Chen/CFGVisualization

   Control Flow Graph Visualization for Checker Framework

   Java

4. checker-framework-inference checker-framework-inferencePublic

   Forked from opprop/checker-framework-inference

   Inference of pluggable types for Java

   Java

5. annotation-tools annotation-toolsPublic

   Forked from typetools/annotation-tools

   Tools for type annotations in Java

   Java

6. ontology ontologyPublic

   Forked from opprop/ontology

   Java 1