Please see the Checker Framework manual
(HTML,
PDF).
The history of releases and changes is in file
changelog.txt.
Documentation for Checker Framework developers
is in directory docs/developer/
.
Pluggable type-checking for Java
Please see the Checker Framework manual
(HTML,
PDF).
The history of releases and changes is in file
changelog.txt.
Documentation for Checker Framework developers
is in directory docs/developer/
.
Name With Owner | typetools/checker-framework |
---|---|
Primary Language | Java |
Program language | Shell (Language Count: 8) |
Platform | |
License: | Other |
Created At | 2015-07-03 11:09:17 |
---|---|
Pushed At | 2025-09-11 19:06:33 |
Last Commit At | 2025-09-11 12:06:33 |
Release Count | 186 |
Last Release Name | checker-framework-3.51.0 (Posted on ) |
First Release Name | checkers-1.1.1 (Posted on ) |
Stargazers Count | 1.1k |
---|---|
Watchers Count | 43 |
Fork Count | 378 |
Commits Count | 19.4k |
Has Issues Enabled | |
Issues Count | 2018 |
Issue Open Count | 391 |
Pull Requests Count | 4612 |
Pull Requests Open Count | 24 |
Pull Requests Close Count | 605 |
Has Wiki Enabled | |
---|---|
Is Archived | |
Is Fork | |
Is Locked | |
Is Mirror | |
Is Private |