checkerframework.org

新手上路 2026-2-26 16:21

主楼

[资源名称]

Checker Framework - 可插拔的类型系统

[资源来源]

checkerframework.org

[资源介绍]

- Checker Framework - 可插拔的类型系统。包括空值类型、物理单位、不可变类型等。(仅 GPL-2.0 许可，附带 Classpath-exception-2.0)

[资源合集]

回复点赞举报