https://github.com/typetools/checker-framework

Pluggable type-checking for Java

java types verification

Last synced: 02 Feb 2026

https://github.com/typetools/annotation-tools

Tools for type annotations in Java

Last synced: 17 Jan 2026

https://github.com/typetools/checker-framework.demos

Demos for the Checker Framework

Last synced: 17 Jan 2026

https://github.com/typetools/checker-framework-gradle-plugin

Last synced: 13 Apr 2026

https://github.com/typetools/asm

This fork of https://gitlab.ow2.org/asm/asm contains pluggable types.

Last synced: 17 Jan 2026