Repositories list

• vscode-liquidjava

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

  visualizationlanguage-serverstatic-analysis+ 7vscode-extensionrefinement-typestype-checkerlspjava-toolsliquid-typeside-integration

  TypeScript

  •

  MIT License

  •1•6•7•0•Updated Jan 24, 2026Jan 24, 2026

• liquidjava-examples

  Public
  Code examples demonstrating LiquidJava refinement types and typestate verification

  tutorialcode-samplesexamples+ 4refinement-typesliquid-typesjava-examplesstatic-verification

  Java

  •2•5•0•0•Updated Jan 24, 2026Jan 24, 2026

• liquidjava

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

  javastatic-analysisformal-methods+ 7refinement-typesprogram-verificationtype-checkerliquid-typestypestate-analysistypestatecompile-time-verification

  Java

  •33•52•19•3•Updated Jan 23, 2026Jan 23, 2026

• .github

  Public
  Contains the README for the organization

  0•0•0•0•Updated Jan 23, 2026Jan 23, 2026

• liquidjava-tutorial

  Public
  Tutorial Guide for LiquidJava

  Java

  •0•2•0•0•Updated Nov 27, 2025Nov 27, 2025

• liquid-java.github.io

  Public
  Organization webpage

  CSS

  •1•0•0•1•Updated Nov 16, 2025Nov 16, 2025

• latte

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

  javastatic-analysisprogram-analysis+ 2aliasing-analysislightweight-verification

  Java

  •0•3•8•2•Updated Jun 26, 2025Jun 26, 2025

• latte-vscode

  Public
  VSCode extension for Latte - Lightweight Aliasing Tracking for Java

  JavaScript

  •

  MIT License

  •0•6•0•0•Updated Jan 30, 2025Jan 30, 2025

• flight-controllers-liquid-state

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

  Java

  •0•2•0•0•Updated Oct 30, 2024Oct 30, 2024

• liquid-java-external-libs

  Public
  LiquidJava specification files for Java libraries

  Java

  •0•1•0•0•Updated Dec 15, 2021Dec 15, 2021