Repositories list

• liquidjava-mcp

  Public
  A Java MCP server that exposes LiquidJava verification tools to LLM agents over stdio

  mcpstatic-analysisllm-tools+ 2

  mcpstatic-analysisllm-toolsmcp-servermcp-tools

  Java

  •

  MIT License

  •00 forks•11 star•00 issues•00 pull requests•Updated Sep 8, 2026Sep 8, 2026

• liquidjava-fsm

  Public
  LiquidJava state machine parser used by the VS Code language server and MCP server

  parserfsmstate-machine+ 1

  parserfsmstate-machinespoon

  Java

  •

  MIT License

  •00 forks•00 stars•00 issues•00 pull requests•Updated Sep 8, 2026Sep 8, 2026

• vscode-liquidjava

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

  visualizationlanguage-serverstatic-analysis+ 7

  visualizationlanguage-serverstatic-analysisvscode-extensionrefinement-typestype-checkerlspjava-toolsliquid-typeside-integration

  TypeScript

  •

  MIT License

  •11 fork•66 stars•00 issues•00 pull requests•Updated Sep 8, 2026Sep 8, 2026

• liquidjava

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

  javastatic-analysisformal-methods+ 7

  javastatic-analysisformal-methodsrefinement-typesprogram-verificationtype-checkerliquid-typestypestate-analysistypestatecompile-time-verification

  Java

  •

  MIT License

  •3636 forks•6767 stars•1616 issues•88 pull requests•Updated Aug 31, 2026Aug 31, 2026

• liquidjava-examples

  Public
  Code examples demonstrating LiquidJava refinement types and typestate verification

  tutorialcode-samplesexamples+ 4

  tutorialcode-samplesexamplesrefinement-typesliquid-typesjava-examplesstatic-verification

  Java

  •22 forks•55 stars•00 issues•00 pull requests•Updated Aug 21, 2026Aug 21, 2026

• study

  Public
  LiquidJava user study

  Java

  •00 forks•00 stars•00 issues•00 pull requests•Updated Aug 21, 2026Aug 21, 2026

• liquidjava-docs

  Public
  LiquidJava Documentation

  javadocumentationdocs+ 5

  javadocumentationdocsstatic-analysisliquid-typestypestateliquidjavaliquid-java

  SCSS

  •00 forks•00 stars•11 issue•00 pull requests•Updated Aug 21, 2026Aug 21, 2026

• liquidjava-interactive-tutorial

  Public
  Interactive Tutorial for LiquidJava

  javatutorialliquidjava

  javatutorialliquidjava

  JavaScript

  •

  MIT License

  •00 forks•00 stars•00 issues•00 pull requests•Updated Aug 11, 2026Aug 11, 2026

• liquid-java.github.io

  Public
  Organization webpage

  CSS

  •11 fork•00 stars•00 issues•22 pull requests•Updated May 15, 2026May 15, 2026

• liquidjava-tutorial

  Public
  Tutorial Guide for LiquidJava

  Java

  •00 forks•22 stars•00 issues•00 pull requests•Updated Apr 11, 2026Apr 11, 2026

• latte

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

  javastatic-analysisprogram-analysis+ 2

  javastatic-analysisprogram-analysisaliasing-analysislightweight-verification

  Java

  •11 fork•33 stars•88 issues•22 pull requests•Updated Feb 1, 2026Feb 1, 2026

• .github

  Public
  Contains the README for the organization

  00 forks•00 stars•00 issues•00 pull requests•Updated Jan 23, 2026Jan 23, 2026

• latte-vscode

  Public
  VSCode extension for Latte - Lightweight Aliasing Tracking for Java

  JavaScript

  •

  MIT License

  •00 forks•66 stars•00 issues•00 pull requests•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

  •00 forks•22 stars•00 issues•00 pull requests•Updated Oct 30, 2024Oct 30, 2024

• liquid-java-external-libs

  Public
  LiquidJava specification files for Java libraries

  Java

  •00 forks•11 star•00 issues•00 pull requests•Updated Dec 15, 2021Dec 15, 2021