Repositories list

• jdk

  Public
  Mirror of https://github.com/openjdk/jdk containing EISOP Checker Framework annotations

  Java

  •

  GNU General Public License v2.0

  •6•0•1•15•Updated Mar 13, 2025Mar 13, 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•0•0•0•Updated Mar 12, 2025Mar 12, 2025

• checker-framework.demos

  Public
  Demos for the Checker Framework

  Java

  •9•0•0•1•Updated Mar 12, 2025Mar 12, 2025

• jspecify-conformance

  Public
  Java

  •

  GNU General Public License v2.0

  •1•2•1•0•Updated Mar 12, 2025Mar 12, 2025

• checker-framework

  Public
  Pluggable type-checking for Java

  Java

  •

  Other

  •362•20•124•35•Updated Mar 12, 2025Mar 12, 2025

• stubparser

  Public
  Reads stub files for the Checker Framework

  Java

  •

  Other

  •2•0•0•3•Updated Feb 25, 2025Feb 25, 2025

• eisop.github.io

  Public
  EISOP website

  Java

  •

  GNU General Public License v2.0

  •2•0•1•2•Updated Feb 23, 2025Feb 23, 2025

• guava

  Public
  Google Core Libraries for Java 6+

  Java

  •

  Apache License 2.0

  •11k•0•0•3•Updated Feb 5, 2025Feb 5, 2025

• templatefora-checker

  Public template
  A template for an EISOP Checker Framework checker hosted outside the main eisop/checker-framework repository.

  Java

  •

  MIT License

  •7•0•1•0•Updated Jan 6, 2025Jan 6, 2025

• annotation-tools

  Public
  Tools for type annotations in Java

  Java

  •

  MIT License

  •34•3•0•1•Updated Dec 20, 2024Dec 20, 2024

• webserver

  Public
  EISOP Checker Framework Live Demo

  Python

  •9•2•8•9•Updated Jul 8, 2024Jul 8, 2024

• plume-lib

  Public
  A library of useful abstractions for programming

  Java

  •23•1•0•0•Updated May 30, 2022May 30, 2022

• checker-framework-inference

  Public
  Inference of pluggable types for Java

  Java

  •33•0•0•1•Updated Nov 15, 2019Nov 15, 2019