typetools/checker-framework

可插件化的 Java 类型检查工具

↗ 在 GitHub 打开

星数

1,149

Fork 数

437

语言

Java

许可

NOASSERTION

最后推送

6天前

Java java verification types

还没有相关情报

radar 追踪的来源里还没有出现过这个 repo。收集器按计划运行——等它覆盖到这个 repo 再回来看看。