リポジトリ

liquid-java のリポジトリ

2 件の対応リポジトリ

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

最終コミット 2026/07/27

 (66 stars) (36 forks) (3 件の索引済み issue) (3 件のオープンな good first issue)

VS Code extension for LiquidJava - real-time refinement type checking with LSP integration

最終コミット 2026/07/21

 (6 stars) (1 fork) (0 件の索引済み issue) (0 件のオープンな good first issue)