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.
Using the stats below, you can answer questions like "Who's using the checker framework", "Which apps are a showcase for the checker framework", and "How popular is this library?".
About the checker framework usage dataOur market share and usage data is crowd-sourced. This means that we have 100% coverage of popular apps, and the less popular an app is, the more likely we won't have detected its libraries. However, this doesn't invalidate our statistics, because the power law property of app downloads means that the vast majority of all downloads is generated by a relatively small number of popular apps, which we all cover.
The "related libraries" gives a good overview which code is frequently used together with the checker framework. These libraries may, for instance, work well together, or may be competitors to the checker framework.
Add to your website
Suggest an update
Suggest an update and help us stay up-to-date.