liquidjava-examples

Code examples demonstrating LiquidJava refinement types and typestate verification

Releases

Date Semver

No releases found for this repository.

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

Topics

code-samples, examples, java-examples, liquid-types, refinement-types, static-verification, tutorial