mernst

uwisdom

A collection of useful facts

checker-framework

Pluggable type-checking for Java

plume-bib

BibTeX bibliographies

smt-solving-exercise

An exercise to learn about SMT solving

bcel-util

Utility routines for working with the BCEL bytecode engineering library

guava

Google core libraries for Java

javac-parse

A wrapper around javac's parser

randoop

Automatic test generation for Java

annotation-tools

Tools for type annotations in Java

AST-Merging-Evaluation

bibtex-clean

Clean a BibTeX file by removing text outside BibTeX entries

daikon

Dynamic detection of likely invariants

defects4j

A Database of Real Faults and an Experimental Infrastructure to Enable Controlled Experiments in Software Engineering Research

error-prone

Catch common Java mistakes as compile-time errors

fjalar

A dynamic analysis framework for C and C++ programs

google-java-format

hashmap-util

Utility libraries for Java HashMaps

html-pretty-print

HTML pretty-printer using Tagsoup

icalavailable

Show available times on an iCal calendar

javadoc-lookup

Look up Java documentation from Emacs

jdk

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

jdk17u

https://openjdk.java.net/projects/jdk-updates/

lookup

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

merging

Merge drivers and merge tools for git

multi-version-control

Perform version control operations on multiple repositories at a time

options

Command-line option processing for Java

plume-util

Utility libraries for Java

reflection-util

Utilities for Java reflection

require-javadoc

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

spotless

Keep your code spotless