Popular repositories Loading

1. value-inference value-inference Public

   Forked from opprop/value-inference

   Java 1

2. checker-framework checker-framework Public

   Forked from opprop/checker-framework

   Pluggable type-checking for Java

   Java

3. checker-framework-inference checker-framework-inference Public

   Forked from opprop/checker-framework-inference

   Inference of pluggable types for Java

   Java 1

4. commons-cli commons-cli Public

   Forked from apache/commons-cli

   Mirror of Apache Commons CLI

   Java

5. security-demo security-demo Public

   Forked from opprop/security-demo

   Demo type system with a simple security lattice.

   Java

6. ontology ontology Public

   Forked from opprop/ontology

   Java