1 result found Sort:

jspecify
jspecify jspecify
30
586
apache-2.0
35
An artifact of fully-specified annotations to power static-analysis checks, beginning with nullness analysis.
java null kotlin android bugfinding annotations jvm-languages static-analysis standard-library nullability-analysis
Created 2018-09-17
574 commits to main branch, last one 2 days ago