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 (语言数: 9)
平台
许可证Other
所有者活动
创建于2015-07-03 11:09:17
推送于2025-07-24 19:37:03
最后一次提交2025-07-24 12:37:03
发布数184
最新版本名称checker-framework-3.49.5 (发布于 )
第一版名称checkers-1.1.1 (发布于 )
用户参与
星数1.1k
关注者数44
派生数375
提交数19.3k
已启用问题?
问题数2008
打开的问题数386
拉请求数4544
打开的拉请求数26
关闭的拉请求数588
项目设置
已启用Wiki?
已存档?
是复刻?
已锁定?
是镜像?
是私有?