Repository Issues

liquid-java/liquidjava

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

View on GitHub
Stars
 (66 stars)
Forks
 (36 forks)
Indexed issues
 (3 indexed issues)
open beginner issues
 (0 open beginner issues)
Latest indexed
Jul 31, 2026
Last GitHub push
Jul 27, 2026
Contributing guide
Contributing guide
Code of conduct
Code of conduct
Dominant language
Java
PR merge metrics
 (PR metrics pending)
Beginner labels
No beginner labels indexed

Issues

3 open indexed issues