Repositories list

• jspecify

  Public
  An artifact of fully-specified annotations to power static-analysis checks, beginning with nullness analysis.

  androidkotlinjava+ 7static-analysisannotationsnullstandard-librarynullability-analysisjvm-languagesbugfinding

  Java

  •

  Apache License 2.0

  •32•655•122•4•Updated Mar 10, 2025Mar 10, 2025

• checker-framework

  Public
  Java

  •

  Other

  •1•1•17•0•Updated Feb 26, 2025Feb 26, 2025

• jdk

  Public
  Java

  •

  GNU General Public License v2.0

  •3•4•9•4•Updated Feb 12, 2025Feb 12, 2025

• jspecify-reference-checker

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

  Java

  •

  Apache License 2.0

  •8•29•31•1•Updated Jan 7, 2025Jan 7, 2025

• .allstar

  Public archive
  0•0•0•0•Updated Dec 6, 2022Dec 6, 2022

• .github

  Public archive
  0•0•0•0•Updated Oct 26, 2022Oct 26, 2022