Popular repositories Loading

1. jspecify jspecify Public

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

   Java 750 34

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

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

   Java 28 8

3. jdk jdk Public

   Java 4 3

4. checker-framework checker-framework Public

   Java 1 1

5. .allstar .allstar Public archive

6. .github .github Public archive