Erfasste Open-Source-Repos von jspecify, sortiert nach Sternen.
Ein Artefakt vollständig spezifizierter Annotationen zur Unterstützung statischer Analyseprüfungen, beginnend mit der Nullfähigkeitsanalyse.