checker-framework

Pluggable type-checking for Java

  • 所有者: typetools/checker-framework
  • 平台:
  • 许可证: Other
  • 分类:
  • 主题:
  • 喜欢:
    0
      比较:

Github星跟踪图

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/.

主要指标

概览
名称与所有者typetools/checker-framework
主编程语言Java
编程语言Shell (语言数: 8)
平台
许可证Other
所有者活动
创建于2015-07-03 11:09:17
推送于2025-09-11 19:06:33
最后一次提交2025-09-11 12:06:33
发布数186
最新版本名称checker-framework-3.51.0 (发布于 )
第一版名称checkers-1.1.1 (发布于 )
用户参与
星数1.1k
关注者数43
派生数378
提交数19.4k
已启用问题?
问题数2018
打开的问题数391
拉请求数4612
打开的拉请求数24
关闭的拉请求数605
项目设置
已启用Wiki?
已存档?
是复刻?
已锁定?
是镜像?
是私有?