Refinement type checker for Java with liquid types and typestates - catch bugs at compile time
Links
- Source: https://github.com/liquid-java/liquidjava
- JSON API: repos.ecosyste.ms
-
PURL:
pkg:github/liquid-java/liquidjava
Repository Details
- Stars 54
- Forks 34
- Open issues 22
- License None
- Language Java
- Size 35.4 MB
- Created at almost 6 years ago
- Updated at 8 days ago
- Pushed at 8 days ago
- Last synced at 8 days ago
- Dependencies parsed at Pending