Google core libraries for Java

A Java API for generating .java source files.

A collection of source code generators for Java.

Catch common Java mistakes as compile-time errors

Pluggable type-checking for Java

Android PebbleKit SDK to talk to the Pebble via Bluetooth

Pluggable type-checking for Java

Static Program Analysis for Reliable Trusted Apps

Inconsistent Code Detection for Java

Inference of pluggable types for Java

Checker Framework Language Server

Wrapper around javac to produce different diagnostics output

hg-git mirror of https://bitbucket.org/typetools/jsr308-langtools

A type system that enhances the Android Support Annotation @IntRange based on the Checker Framework

Control Flow Graph Visualization for Checker Framework

ECE654 course project