GitHub repository: veraPDF/veraPDF-tools
Primary language: Java
Description: Various CLI tools used for veraPDF development purposes