liquid-java/liquidjava
JavaMITactive
Health
Refinement type checker for Java with liquid types and typestates - catch bugs at compile time
Health Breakdown
Activity25
Community25
Maintenance11
Popularity21
#compile-time-verification#formal-methods#java#liquid-types#program-verification#refinement-types#static-analysis#type-checker#typestate#typestate-analysis
Should you contribute to liquid-java/liquidjava?
liquid-java/liquidjava has a FoundDev health score of 82/100, which puts it in the active-and-maintained tier. The maintainer team is shipping recently, issues are being closed, and a PR you open this week has a realistic chance of being reviewed.
Last push was 0 days ago — that signals an actively maintained project. New issues are likely to get a maintainer response within days. The project is written primarily in Java, so prior Java experience will shorten ramp-up.
Licensed under MIT, a standard OSI-approved license — safe to contribute to under normal employer IP policies.
Community
JavaMIT
active
0d ago
