Repositories list

• jspecify-reference-checker

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

  Java

  •

  Apache License 2.0

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

• 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

  •31•622•119•4•Updated Jan 6, 2025Jan 6, 2025

• jdk

  Public
  Java

  •

  GNU General Public License v2.0

  •3•4•7•1•Updated Dec 19, 2024Dec 19, 2024

• checker-framework

  Public
  Java

  •

  Other

  •1•1•17•0•Updated Feb 4, 2024Feb 4, 2024

• .allstar

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

• .github

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