Refinement type checker for Java with liquid types and typestates - catch bugs at compile time
(66 stars) (36 forks) (3 indexed issues) (3 open good first issues)
Repositories
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