mernst

plume-lib

A library of useful abstractions for programming. Obsolete, use https://github.com/plume-lib/ instead.

beam

Mirror of Apache Beam (Incubating)

checker-framework-inference

Inference of pluggable types for Java

commons-io

Mirror of Apache Commons IO

cozy

The collection synthesizer

fastutil

fastutil extends the Java™ Collections Framework by providing type-specific maps, sets, lists and queues.

flink

Apache Flink

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

hppc

High Performance Primitive Collections for Java

javacc

JavaCC - a parser generator for building parsers from grammars. It can generate code in Java, C++ and C#.

jdk11u

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

kotlin

The Kotlin Programming Language.

learnlib

A free, open-source Java library for automata learning algorithms

linterhub-docker

collection of static analysis tools wrapped in alpine-based containers

Nameless-Plugin

Official NamelessMC server plugin

NullAway

A tool to help eliminate NullPointerExceptions (NPEs) in your Java code with low build-time overhead

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.

pgjdbc

Postgresql JDBC Driver

pulsar

Apache Pulsar - distributed pub-sub messaging system

run-dljc

spotbugs.github.io

SpotBugs website

sumo

Eclipse SUMO is an open source, highly portable, microscopic and continuous traffic simulation package designed to handle large networks. It allows for intermodal simulation including pedestrians and comes with a large set of tools for scenario creation.

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.

truth

Fluent assertions for Java and Android

webserver

Checker Framework Live Demo