Pinned Repositories
.allstar
.github
checker-framework
jdk
jspecify
An artifact of fully-specified annotations to power static-analysis checks, beginning with nullness analysis.
jspecify-reference-checker
The reference implementation for the JSpecify nullness specification (and later, its other specifications as well)
jspecify's Repositories
jspecify/jspecify
An artifact of fully-specified annotations to power static-analysis checks, beginning with nullness analysis.
jspecify/jspecify-reference-checker
The reference implementation for the JSpecify nullness specification (and later, its other specifications as well)
jspecify/jdk
jspecify/.allstar
jspecify/.github
jspecify/checker-framework