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