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: 9) |
Platform | |
License: | Other |
Created At | 2015-07-03 11:09:17 |
---|---|
Pushed At | 2025-07-24 19:37:03 |
Last Commit At | 2025-07-24 12:37:03 |
Release Count | 184 |
Last Release Name | checker-framework-3.49.5 (Posted on ) |
First Release Name | checkers-1.1.1 (Posted on ) |
Stargazers Count | 1.1k |
---|---|
Watchers Count | 44 |
Fork Count | 375 |
Commits Count | 19.3k |
Has Issues Enabled | |
Issues Count | 2008 |
Issue Open Count | 386 |
Pull Requests Count | 4544 |
Pull Requests Open Count | 26 |
Pull Requests Close Count | 588 |
Has Wiki Enabled | |
---|---|
Is Archived | |
Is Fork | |
Is Locked | |
Is Mirror | |
Is Private |