liquidjava-examples

Public

Code examples demonstrating LiquidJava refinement types and typestate verification

Updated Jan 24, 2026

Created May 28, 2021

5 stars

2 forks

3 watchers

0 open issues

Languages

Codebase composition by bytes

Top Contributors

71 commits

25 commits

Recent Stargazers

over 4 years ago

over 4 years ago

over 4 years ago

over 3 years ago

3 months ago

Issues & Activity

Open vs closed issues and recent activity peak.

Open Issues 0Closed Issues 9

Open Issues9

Activity Peak

Most recent day with highest activityFeb 3, 2026 • 1 events

GitHub Analytics