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-08-28 17:12:36
最后一次提交2025-08-28 10:12:35
发布数184
最新版本名称checker-framework-3.49.5 (发布于 )
第一版名称checkers-1.1.1 (发布于 )
用户参与
星数1.1k
关注者数43
派生数376
提交数19.4k
已启用问题?
问题数2011
打开的问题数389
拉请求数4591
打开的拉请求数23
关闭的拉请求数598
项目设置
已启用Wiki?
已存档?
是复刻?
已锁定?
是镜像?
是私有?