GeezerVison is showing github.com — GitHub - jspecify/jspecify: An artifact of fully-specified annotations to power static-analysis checks, beginning with nullness analysis.
Folders and files
| Name | Name | Last commit message | Last commit date |
|---|
| | | |
| | | |
| | | |
| | | |
| | | |
| | | |
| | | |
| | | |
| | | |
| | | |
| | | |
| | | |
| | | |
| | | |
| | | |
| | | |
| | | |
| | | |
| | | |
| | | |
| | | |
|
Repository files navigation
An artifact of well-specified annotations to power static analysis checks and
JVM language interop. Developed by consensus of the partner organizations listed
at our main web site, jspecify.org.
Our current focus is on annotations for nullness analysis.
We've released
Version 1.0.0, which
finalizes our initial nullness annotations.
See jspecify.org/docs/start-here.
About
An artifact of fully-specified annotations to power static-analysis checks, beginning with nullness analysis.
Topics
Resources
Contributing
Stars
1.2k stars
Watchers
36 watching
Forks