Refinement type checker for Java with liquid types and typestates - catch bugs at compile time
(66 stars) (36 forks) (3 件の索引済み issue) (3 件のオープンな good first issue)
リポジトリ
Refinement type checker for Java with liquid types and typestates - catch bugs at compile time
VS Code extension for LiquidJava - real-time refinement type checking with LSP integration