Repositories list

• 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

  •3838 forks in liquid-java/liquidjava•7171 stars in liquid-java/liquidjava•8080 issues in liquid-java/liquidjava•1515 pull requests in liquid-java/liquidjava•Updated Nov 10, 2026Nov 10, 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 in liquid-java/vscode-liquidjava•66 stars in liquid-java/vscode-liquidjava•1717 issues in liquid-java/vscode-liquidjava•99 pull requests in liquid-java/vscode-liquidjava•Updated Nov 10, 2026Nov 10, 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 in liquid-java/liquidjava-fsm•00 stars in liquid-java/liquidjava-fsm•00 issues in liquid-java/liquidjava-fsm•00 pull requests in liquid-java/liquidjava-fsm•Updated Nov 10, 2026Nov 10, 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 in liquid-java/latte•33 stars in liquid-java/latte•88 issues in liquid-java/latte•33 pull requests in liquid-java/latte•Updated Nov 4, 2026Nov 4, 2026

• liquidjava-docs

  Public
  LiquidJava Documentation

  javadocumentationdocs+ 5

  javadocumentationdocsstatic-analysisliquid-typestypestateliquidjavaliquid-java

  JavaScript

  •00 forks in liquid-java/liquidjava-docs•00 stars in liquid-java/liquidjava-docs•11 issue in liquid-java/liquidjava-docs•22 pull requests in liquid-java/liquidjava-docs•Updated Oct 28, 2026Oct 28, 2026

• 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 in liquid-java/liquidjava-mcp•11 star in liquid-java/liquidjava-mcp•00 issues in liquid-java/liquidjava-mcp•11 pull request in liquid-java/liquidjava-mcp•Updated Oct 26, 2026Oct 26, 2026

• liquidjava-interactive-tutorial

  Public
  Interactive Tutorial for LiquidJava

  javatutorialliquidjava

  javatutorialliquidjava

  JavaScript

  •

  MIT License

  •00 forks in liquid-java/liquidjava-interactive-tutorial•00 stars in liquid-java/liquidjava-interactive-tutorial•00 issues in liquid-java/liquidjava-interactive-tutorial•11 pull request in liquid-java/liquidjava-interactive-tutorial•Updated Oct 5, 2026Oct 5, 2026

• liquid-java.github.io

  Public
  Organization webpage

  CSS

  •11 fork in liquid-java/liquid-java.github.io•00 stars in liquid-java/liquid-java.github.io•00 issues in liquid-java/liquid-java.github.io•22 pull requests in liquid-java/liquid-java.github.io•Updated Sep 30, 2026Sep 30, 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 in liquid-java/liquidjava-examples•55 stars in liquid-java/liquidjava-examples•00 issues in liquid-java/liquidjava-examples•00 pull requests in liquid-java/liquidjava-examples•Updated Aug 21, 2026Aug 21, 2026

• study

  Public
  LiquidJava user study

  Java

  •00 forks in liquid-java/study•00 stars in liquid-java/study•00 issues in liquid-java/study•00 pull requests in liquid-java/study•Updated Aug 21, 2026Aug 21, 2026

• liquidjava-tutorial

  Public
  Tutorial Guide for LiquidJava

  Java

  •00 forks in liquid-java/liquidjava-tutorial•22 stars in liquid-java/liquidjava-tutorial•11 issue in liquid-java/liquidjava-tutorial•00 pull requests in liquid-java/liquidjava-tutorial•Updated Apr 11, 2026Apr 11, 2026

• .github

  Public
  Contains the README for the organization

  00 forks in liquid-java/.github•00 stars in liquid-java/.github•00 issues in liquid-java/.github•00 pull requests in liquid-java/.github•Updated Jan 23, 2026Jan 23, 2026

• latte-vscode

  Public
  VSCode extension for Latte - Lightweight Aliasing Tracking for Java

  JavaScript

  •

  MIT License

  •00 forks in liquid-java/latte-vscode•66 stars in liquid-java/latte-vscode•00 issues in liquid-java/latte-vscode•00 pull requests in liquid-java/latte-vscode•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 in liquid-java/flight-controllers-liquid-state•22 stars in liquid-java/flight-controllers-liquid-state•00 issues in liquid-java/flight-controllers-liquid-state•00 pull requests in liquid-java/flight-controllers-liquid-state•Updated Oct 30, 2024Oct 30, 2024

• liquid-java-external-libs

  Public
  LiquidJava specification files for Java libraries

  Java

  •00 forks in liquid-java/liquid-java-external-libs•11 star in liquid-java/liquid-java-external-libs•00 issues in liquid-java/liquid-java-external-libs•00 pull requests in liquid-java/liquid-java-external-libs•Updated Dec 15, 2021Dec 15, 2021