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 19:09:17 | 
|---|---|
| Pushed At | 2025-10-30 13:10:11 | 
| Last Commit At | 2025-10-30 00:12:07 | 
| Release Count | 187 | 
| Last Release Name | checker-framework-3.51.1 (Posted on ) | 
| First Release Name | checkers-1.1.1 (Posted on ) | 
| Stargazers Count | 1.1k | 
|---|---|
| Watchers Count | 43 | 
| Fork Count | 381 | 
| Commits Count | 19.5k | 
| Has Issues Enabled | |
| Issues Count | 2023 | 
| Issue Open Count | 393 | 
| Pull Requests Count | 4673 | 
| Pull Requests Open Count | 22 | 
| Pull Requests Close Count | 625 | 
| Has Wiki Enabled | |
|---|---|
| Is Archived | |
| Is Fork | |
| Is Locked | |
| Is Mirror | |
| Is Private |