eisop

templatefora-checker Public template Forked from typetools/templatefora-checker
A template for EISOP Checker Framework checker hosted outside the main EISOP/checker-framework repository.

eisop/templatefora-checker’s past year of commit activity

Java 0 MIT 7 0 1 Updated Nov 22, 2024
checker-framework Public Forked from typetools/checker-framework
Pluggable type-checking for Java

eisop/checker-framework’s past year of commit activity

Java 19 401 93 29 Updated Nov 22, 2024
eisop.github.io Public
EISOP website

eisop/eisop.github.io’s past year of commit activity

Java 0 GPL-2.0 1 1 2 Updated Nov 20, 2024
jdk Public
Mirror of https://github.com/openjdk/jdk containing EISOP Checker Framework annotations

eisop/jdk’s past year of commit activity

Java 0 GPL-2.0 5 0 4 Updated Nov 13, 2024
jspecify-conformance Public

eisop/jspecify-conformance’s past year of commit activity

Java 2 GPL-2.0 1 1 2 Updated Nov 5, 2024
stubparser Public
Reads stub files for the Checker Framework

eisop/stubparser’s past year of commit activity

Java 0 2 0 3 Updated Aug 1, 2024
checker-framework.demos Public Forked from typetools/checker-framework.demos
Demos for the Checker Framework

eisop/checker-framework.demos’s past year of commit activity

Java 0 9 0 1 Updated Jul 15, 2024
annotation-tools Public Forked from typetools/annotation-tools
Tools for type annotations in Java

eisop/annotation-tools’s past year of commit activity

Java 3 MIT 36 0 1 Updated Jul 13, 2024
webserver Public
EISOP Checker Framework Live Demo

eisop/webserver’s past year of commit activity

Python 2 9 8 9 Updated Jul 8, 2024
guava Public Forked from typetools/guava
Google Core Libraries for Java 6+

eisop/guava’s past year of commit activity

Java 0 Apache-2.0 11,467 0 1 Updated Nov 22, 2023

View all repositories

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

eisop

Pinned Loading

Repositories

People

Top languages

Most used topics