Projects in Awesome Lists by jspecify
A curated list of projects in awesome lists by jspecify .
https://github.com/jspecify/jspecify
An artifact of fully-specified annotations to power static-analysis checks, beginning with nullness analysis.
android annotations bugfinding java jvm-languages kotlin null nullability-analysis standard-library static-analysis
Last synced: 19 Oct 2025
https://github.com/jspecify/jspecify-reference-checker
The reference implementation for the JSpecify nullness specification (and later, its other specifications as well)
Last synced: 03 Oct 2025