The Checker Framework enhances Java's type system to
make it more powerful and useful. This lets software developers
detect and prevent errors in their Java programs.
The Checker Framework includes compiler plug-ins ("checkers")
that find bugs or verify their absence. It also permits you to
write your own compiler plug-ins.
Artifacts using Checker Framework (64)
1.Bindings Java63 usages
com.daml » bindings-java Apache
The Java bindings is a client implementation of the Ledger API. It provides an idiomatic way to write Daml Ledger applications.
Last Release on Oct 6, 2026
SDK for Connect2id Server extensions, such as OpenID Connect claims
sources and OAuth 2.0 grant handlers
Last Release on Sep 24, 2026
Enable Distributed tracing using AWS XRay
Last Release on Aug 18, 2026
6.Accessibility Test Framework22 usages
com.google.android.apps.common.testing.accessibility.framework » accessibility-test-framework Apache
Library used to test for common accessibility issues.
Last Release on Mar 29, 2024
7.Spring Cloud Contract Shaded Dependencies5 usages
org.springframework.cloud » spring-cloud-contract-shade Apache
Spring Cloud Contract Shaded Dependencies
Last Release on Jun 12, 2026
Java API for working with SWRL rules and SQWRL queries
Last Release on Jan 27, 2025
9.JOOQ Checker2 usages
org.jooq » jooq-checker Apache
jOOQ's checker framework and error prone integration
Last Release on Sep 26, 2026
10.JavaCPP Presets For TensorFlow7 usages
org.bytedeco » tensorflow Apache +2
JavaCPP Presets For TensorFlow
Last Release on Nov 2, 2022