GitHub repository: webjars/hal-explorer
Description: Packing HAL Explorer into a WebJar (see https://www.webjars.org/)