Here are
8 public repositories
matching this topic...
Refinement type checker for Java with liquid types and typestates - catch bugs at compile time
Updated
Jan 23, 2026
Java
Ekitai is a small programming language with refinement types that compiles to binary code using the LLVM ecosystem.
VS Code extension for LiquidJava - real-time refinement type checking with LSP integration
Updated
Jan 24, 2026
TypeScript
Code examples demonstrating LiquidJava refinement types and typestate verification
Updated
Jan 24, 2026
Java
Different ways to solve a problem using different languages
Compiler for the sPLash programming language
Updated
Jun 15, 2023
Python
A toy liquid type checker for Rust
Updated
Jul 30, 2025
Rust
Refinement types for Scala
Updated
Jul 29, 2018
Scala
Improve this page
Add a description, image, and links to the
liquid-types
topic page so that developers can more easily learn about it.
Curate this topic
Add this topic to your repo
To associate your repository with the
liquid-types
topic, visit your repo's landing page and select "manage topics."
Learn more
You can’t perform that action at this time.