jspecify's tracked open-source repos, sorted by stars.
An artifact of fully-specified annotations to power static-analysis checks, beginning with nullness analysis.
