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