Michael Ernst's repositories
checker-framework-inference
Inference of pluggable types for Java
commons-io
Mirror of Apache Commons IO
git-clone-related-test-repo1
Test data for the git-clone-related program
git-clone-related-test-repo2
Test data for the git-clone-related program
gradle
Adaptable, fast automation for all
gradle-download-task
đź“Ą Adds a download task to Gradle that displays progress information
javacc
JavaCC - a parser generator for building parsers from grammars. It can generate code in Java, C++ and C#.
kotlin
The Kotlin Programming Language.
linterhub-docker
collection of static analysis tools wrapped in alpine-based containers
Nameless-Plugin
Official NamelessMC server plugin
object-construction-checker
An extension to the Java type system to catch badly-behaving builder pattterns
palantir-java-format
A modern, lambda-friendly, 120 character Java formatter.
spotbugs.github.io
SpotBugs website
super-linter
Combination of multiple linters to install as a GitHub Action
table-wrapper-csv-impl
Implements unified Table Wrapper API for csv format and helps to easily search and access to row, column, and cell value.
webserver
Checker Framework Live Demo