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 摘要。