Repositories list

• liquidjava

  Public

  liquid-java/liquidjava’s past year of commit activity
  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

  •3535 forks•5858 stars•1616 issues•55 pull requests•Updated May 15, 2026May 15, 2026

• liquid-java.github.io

  Public
  Organization webpage

  CSS

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

• liquidjava-docs

  Public
  LiquidJava Documentation

  javadocumentationdocs+ 5

  javadocumentationdocsstatic-analysisliquid-typestypestateliquidjavaliquid-java

  SCSS

  •00 forks•00 stars•11 issue•00 pull requests•Updated May 15, 2026May 15, 2026

• vscode-liquidjava

  Public

  liquid-java/vscode-liquidjava’s past year of commit activity
  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•22 issues•11 pull request•Updated May 12, 2026May 12, 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 Apr 11, 2026Apr 11, 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