liquid-java | GitHub owners | Ecosyste.ms: Repos

Tutorial Guide for LiquidJava

Language: Java - Size: 769 KB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 2 - Forks: 0

Refinement type checker for Java with liquid types and typestates - catch bugs at compile time

Language: Java - Size: 35.4 MB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 54 - Forks: 34

VS Code extension for LiquidJava - real-time refinement type checking with LSP integration

Language: TypeScript - Size: 414 MB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 6 - Forks: 1

Lightweight aliasing tracking for Java - static analysis tool for pointer analysis

Language: Java - Size: 292 KB - Last synced at: 28 days ago - Pushed at: 29 days ago - Stars: 3 - Forks: 0

Code examples demonstrating LiquidJava refinement types and typestate verification

Language: Java - Size: 68.1 MB - Last synced at: 17 days ago - Pushed at: 17 days ago - Stars: 5 - Forks: 2

Contains the README for the organization

Size: 348 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0

Organization webpage

Language: CSS - Size: 61.9 MB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 0 - Forks: 1

Using Liquid Types in Java to model typestate in flight controllers, specifically using the mavsdk library

Language: Java - Size: 2.02 MB - Last synced at: 4 months ago - Pushed at: over 1 year ago - Stars: 2 - Forks: 0

VSCode extension for Latte - Lightweight Aliasing Tracking for Java

Language: JavaScript - Size: 177 MB - Last synced at: 4 months ago - Pushed at: about 1 year ago - Stars: 6 - Forks: 0

LiquidJava specification files for Java libraries

Language: Java - Size: 1.95 KB - Last synced at: 4 months ago - Pushed at: about 4 years ago - Stars: 1 - Forks: 0

ecosyste.ms