Name		Name	Last commit message	Last commit date
.azure		.azure
.circleci		.circleci
.github		.github
annotation-file-utilities		annotation-file-utilities
buildSrc		buildSrc
checker-qual-android		checker-qual-android
checker-qual		checker-qual
checker-util		checker-util
checker		checker
dataflow		dataflow
docs		docs
framework-test		framework-test
framework		framework
gradle		gradle
javacutil		javacutil
.coderabbit.yaml		.coderabbit.yaml
.editorconfig		.editorconfig
.gitignore		.gitignore
.pmd-ruleset.xml		.pmd-ruleset.xml
.pymarkdown		.pymarkdown
.python-version		.python-version
.ruff.toml		.ruff.toml
.yamlfmt.yaml		.yamlfmt.yaml
.yamllint.yaml		.yamllint.yaml
CONTRIBUTING.md		CONTRIBUTING.md
LICENSE.txt		LICENSE.txt
README.md		README.md
build.gradle		build.gradle
checkmake.ini		checkmake.ini
gradle-mvn-push.gradle		gradle-mvn-push.gradle
gradle.properties		gradle.properties
gradlew		gradlew
gradlew.bat		gradlew.bat
prek.toml		prek.toml
pyproject.toml		pyproject.toml
release.gradle		release.gradle
settings.gradle		settings.gradle
uv.lock		uv.lock

Repository files navigation

The Checker Framework: pluggable type-checking for Java

Please see the Checker Framework manual (HTML, PDF).

The history of releases and changes is in file docs/CHANGELOG.md.

Documentation for Checker Framework developers is in directory docs/developer/.

About

Pluggable type-checking for Java

checkerframework.org/

4 stars

2 watching

Report repository

Releases

Packages

Contributors

Languages