A dynamic analysis framework for C and C++ programs

Dynamic detection of likely invariants

Automatic test generation for Java

Inference of Javari reference immutability types for Java

Read-only mirror of https://hg.openjdk.java.net/jdk/jdk

Reads stub files for the Checker Framework

Tools for type annotations in Java

Pluggable type-checking for Java

Trigger a Travis job

Tools for HTML files

Scripts to automatically download and run google-java-format

Scripts for programming and system administration

Utility routines for working with the BCEL bytecode engineering library

Perform version control operations on multiple repositories at a time

Requires a Javadoc comment to be present on every Java construct (class, method, etc.)

Clean a BibTeX file by removing text outside BibTeX entries

HTML pretty-printer using Tagsoup

Command-line option processing for Java

Utility libraries for Java HashMaps

Look up Java documentation from Emacs

Show available times on an iCal calendar

Utilities for Java reflection

Entry- or paragraph-based grep over a set of files

Utility libraries for Java

Pluggable type-checking for Java

An environment for reading, searching, navigating and visualizing code.