Giters
jspecify

jspecify

Geek Repo

Github PK Tool:Github PK Tool

jspecify's repositories

jspecify

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

Language:JavaLicense:Apache-2.0Stargazers:427Issues:44Issues:285

jspecify-reference-checker

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

Language:JavaLicense:Apache-2.0Stargazers:12Issues:4Issues:83

jdk

Language:JavaLicense:GPL-2.0Stargazers:4Issues:5Issues:2

.allstar

Stargazers:0Issues:0Issues:0

.github

Stargazers:0Issues:1Issues:0

checker-framework

Language:JavaLicense:NOASSERTIONStargazers:0Issues:6Issues:25