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?
已存檔?
是復刻?
已鎖定?
是鏡像?
是私有?