Repositories list

• ontology

  Public
  Java

  •9•0•0•0•Updated May 11, 2018May 11, 2018

• checker-framework-inference

  Public
  Inference of pluggable types for Java

  Java

  •33•0•0•0•Updated May 11, 2018May 11, 2018

• checker-framework

  Public
  Pluggable type-checking for Java

  Java

  •

  Other

  •355•0•0•0•Updated May 11, 2018May 11, 2018

• annotation-tools

  Public
  Tools for type annotations in Java

  Java

  •

  MIT License

  •34•0•0•0•Updated Nov 28, 2017Nov 28, 2017

• do-like-javac

  Public
  Python

  •

  Other

  •22•0•0•0•Updated Nov 27, 2017Nov 27, 2017

• plume-lib

  Public
  A library of useful abstractions for programming

  Emacs Lisp

  •23•0•0•0•Updated Nov 2, 2017Nov 2, 2017

• CFGVisualization

  Public
  Control Flow Graph Visualization for Checker Framework

  Java

  •4•0•0•0•Updated Jun 7, 2016Jun 7, 2016