Michael Ernst's repositories
bibtex2web
Format BibTeX bibliographies for the World Wide Web
basic-stats
A GUI program that computes mean, standard deviation, etc.
git-conflict-tutorial
A tutorial about how to manage git conflicts
-wpi-many-tests-bibtex-clean
A copy of the BibTex Clean repository used for testing WPI. This copy starts with a hyphen, to test that the wpi-many.sh script can interpret such repositories correctly.
checker-framework.demos
Demos for the Checker Framework
commons-lang
Apache Commons Lang
daikon-gradle-plugin
(experimental) daikon gradle plugin
docker-texlive
Full TeX Live
github-api
Java API for GitHub
good-first-issue
Make your first open-source contribution.
hashmap-util
Utility libraries for Java HashMaps
jdime
syntactic merge tool for java
jdk17u
https://openjdk.java.net/projects/jdk-updates/
jsoup
jsoup: the Java HTML parser, built for HTML editing, cleaning, scraping, and XSS safety.
libcorrect4j
A port of libcorrect to Java
link-checker
Check links and anchors in Web pages or full Web sites.
petitpoucet
Trace data points back to their source
prettier-java
Prettier Java Plugin
static-analysis
⚙️ A curated list of static analysis (SAST) tools and linters for all programming languages, config files, build tools, and more. The focus is on tools which improve code quality.
stubparser
Reads stub files for the Checker Framework
wpi-experiments
Scripts and experimental data for the paper "Pluggable Type Inference for Free", which appeared at ASE 2023
wpi-many-tests-bcel-util
A hard fork of https://github.com/plume-lib/bcel-util used for testing Checker Framework whole-program inference
wpi-many-tests-ensures-called-methods
A simple repository for testing that @EnsuresCalledMethods is inferred correctly by Checker Framework whole-program inference