GitHub repository: jspecify/jspecify-reference-checker
Primary language: Java
Description: The reference implementation for the JSpecify nullness specification (and later, its other specifications as well)