Popular repositories

1. jspecify jspecify Public

   An artifact of fully-specified annotations to power static-analysis checks, beginning with nullness analysis.

   Java 424 24

2. jspecify-reference-checker jspecify-reference-checker Public

   The reference implementation for the JSpecify nullness specification (and later, its other specifications as well)

   Java 12 4

3. jdk jdk Public

   Java 4 3

4. checker-framework checker-framework Public

   Java 1

5. .allstar .allstar Public

6. .github .github Public archive