Movatterモバイル変換

jspecify

jspecifyjspecifyPublic
An artifact of fully-specified annotations to power static-analysis checks, beginning with nullness analysis.
Java 662 32
jspecify-reference-checkerjspecify-reference-checkerPublic
The reference implementation for the JSpecify nullness specification (and later, its other specifications as well)
Java 29 8
jdkjdkPublic
Java 4 3
checker-frameworkchecker-frameworkPublic
Java 1 1
.allstar.allstarPublic archive
.github.githubPublic archive

Showing 6 of 6 repositories

jspecify Public
An artifact of fully-specified annotations to power static-analysis checks, beginning with nullness analysis.
jspecify/jspecify’s past year of commit activity
Java 662Apache-2.0 32 122 4 UpdatedMar 14, 2025
checker-framework Public
jspecify/checker-framework’s past year of commit activity
Java 1 1 17 0 UpdatedFeb 26, 2025
jdk Public
jspecify/jdk’s past year of commit activity
Java 4GPL-2.0 3 9 4 UpdatedFeb 12, 2025
jspecify-reference-checker Public
The reference implementation for the JSpecify nullness specification (and later, its other specifications as well)
jspecify/jspecify-reference-checker’s past year of commit activity
Java 29Apache-2.0 8 31 1 UpdatedJan 7, 2025
.allstar Public archive
jspecify/.allstar’s past year of commit activity
00 0 0 UpdatedDec 6, 2022
.github Public archive
jspecify/.github’s past year of commit activity
00 0 0 UpdatedOct 26, 2022

This organization has no public members. You must be a member to see who’s a part of this organization.

Loading…

Loading…