liquid-java/liquidjava

在 GitHub 查看

Refinement type checker for Java with liquid types and typestates - catch bugs at compile time

星标: 67
派生: 36
开放的新手 issue: 0
已索引 issue: 16
平均合并: 10 天 18 小时
30 天内合并 PR: 3

主要语言: Java
许可证: MIT
最近 GitHub push: 2026年9月13日
最近索引: 2026年9月19日
贡献指南: 贡献指南
行为准则: 行为准则
新手标签: good first issue

适合新手全部

未关闭全部

0 个适合新手的 Issue 待认领

没有可展示的 Issue。显示已索引的全部内容

精选适合新手参与的 GitHub issue 摘要。