GitHub repository: jspecify/jspecify
Primary language: Java
Description: An artifact of fully-specified annotations to power static-analysis checks, beginning with nullness analysis.