Wrapper around javac to produce different diagnostics output

Pluggable type-checking for Java

Checker Framework for VS Code

Checker Framework Language Server

ECE654 course project

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

A Java API for generating .java source files.

Big integration test of all tools

Control Flow Graph Visualization for Checker Framework

Static Program Analysis for Reliable Trusted Apps

Public PASCALI repo

Inconsistent Code Detection for Java

Inference of pluggable types for Java

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

Pluggable type-checking for Java

Android PebbleKit SDK to talk to the Pebble via Bluetooth

Research platform for new language concepts and compiler technologies for Scala.

Tools for code analysis, visualizations, or style-preserving source transformation.

Catch common Java mistakes as compile-time errors

Google core libraries for Java

A collection of source code generators for Java.

Research platform for new language concepts and compiler technologies for Scala.

Notes about future events and planning