Repositories list

• checker-framework

  Public
  Pluggable type-checking for Java

  Java

  •

  Other

  •353•18•90•31•Updated Oct 1, 2024Oct 1, 2024

• jspecify-conformance

  Public
  Java

  •

  GNU General Public License v2.0

  •1•2•2•4•Updated Sep 25, 2024Sep 25, 2024

• eisop.github.io

  Public
  EISOP website

  Java

  •

  GNU General Public License v2.0

  •1•0•1•2•Updated Sep 19, 2024Sep 19, 2024

• stubparser

  Public
  Reads stub files for the Checker Framework

  Java

  •

  Other

  •2•0•0•3•Updated Aug 1, 2024Aug 1, 2024

• jdk

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

  Java

  •

  GNU General Public License v2.0

  •5•0•0•5•Updated Jul 23, 2024Jul 23, 2024

• checker-framework.demos

  Public
  Demos for the Checker Framework

  Java

  •9•0•0•1•Updated Jul 15, 2024Jul 15, 2024

• annotation-tools

  Public
  Tools for type annotations in Java

  Java

  •

  MIT License

  •34•2•0•1•Updated Jul 13, 2024Jul 13, 2024

• webserver

  Public
  EISOP Checker Framework Live Demo

  Python

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

• guava

  Public
  Google Core Libraries for Java 6+

  Java

  •

  Apache License 2.0

  •11k•0•0•1•Updated Nov 22, 2023Nov 22, 2023

• 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