Checker Framework

All repositories

Overview

HEALTH SCORE

Healthy

82out of 100

Solid maintainer coverage and development cadence. Security posture keeps the score from reaching Excellent.

LIFECYCLE

Active

Consistent commits, responsive maintainers, regular releases, and healthy issue triage.

Display your project Health score on your GitHub page.

Health breakdown

Healthy(82/100)

Maintainer availability, known risks and supply chain posture, and whether the project is actively developed or appropriately stable.

Maintainer responsiveness

Median response time is 5 days.

Bus factor

8 active maintainers currently have merge rights.

Organization Diversity

Contributors span 37 organizations.

Project Achievements

Leaderboards

About

The Checker Framework is a pluggable type-checking system for Java that helps developers prevent bugs by detecting and verifying type constraints at compile time. It extends Java's type system to enable more precise compile-time verification of properties like null pointer safety, regex validity, and concurrency correctness.

First commit

July 2009

Software value

$11M