Repositories

liquid-java repositories

2 supported repositories

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

Last commit Jul 27, 2026

 (66 stars) (36 forks) (3 indexed issues) (3 open good first issues)

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

Last commit Jul 21, 2026

 (6 stars) (1 fork) (0 indexed issues) (0 open good first issues)