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時間
- マージ済み PR（30日）
- 3
- 主要言語
- Java
- ライセンス
- MIT
- 最終 GitHub push
- 2026年9月13日
- 最新の索引
- 2026年9月19日
- コントリビューションガイド
- コントリビューションガイド
- 行動規範
- 行動規範
- 初心者向けラベル
- good first issue
表示する issue はありません。 索引済みのすべてを表示する