0

checker-framework

Pluggable type-checking for Java

官方網站
Github 資源庫
主要指標

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 19:09:17
推送於2025-10-30 13:10:11
最后一次提交2025-10-30 00:12:07
發布數187
最新版本名稱checker-framework-3.51.1 (發布於 )
第一版名稱checkers-1.1.1 (發布於 )
用户参与
星數1.1k
關注者數43
派生數381
提交數19.5k
已啟用問題?
問題數2023
打開的問題數393
拉請求數4673
打開的拉請求數22
關閉的拉請求數625
项目设置
已啟用Wiki?
已存檔?
是復刻?
已鎖定?
是鏡像?
是私有?