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:474Issues:43Issues:306

jspecify-reference-checker

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

Language:JavaLicense:Apache-2.0Stargazers:18Issues:5Issues:101

jdk

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

checker-framework

Language:JavaLicense:NOASSERTIONStargazers:1Issues:6Issues:25

.allstar

Stargazers:0Issues:1Issues:0

.github

Stargazers:0Issues:1Issues:0