Code examples demonstrating LiquidJava refinement types and typestate verification
Links
- Source: https://github.com/liquid-java/liquidjava-examples
- JSON API: repos.ecosyste.ms
-
PURL:
pkg:github/liquid-java/liquidjava-examples
Repository Details
- Stars 5
- Forks 2
- Open issues 0
- License None
- Language Java
- Size 68.1 MB
- Created at almost 5 years ago
- Updated at about 1 month ago
- Pushed at 20 days ago
- Last synced at 19 days ago
- Dependencies parsed at Pending