Refinement type checker for Java with liquid types and typestates - catch bugs at compile time
☆71Oct 24, 2026Updated this week
Alternatives and similar repositories for liquidjava
Users that are interested in liquidjava are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A Python implementation of the Refinement Types Tutorial.☆10Feb 4, 2021Updated 5 years ago
- A new take on facet-reflect☆14Oct 16, 2026Updated last week
- Lean playground for programming language modeling tooling.☆15May 20, 2026Updated 5 months ago
- ☆22Oct 12, 2026Updated 2 weeks ago
- ☆13Apr 27, 2025Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Artifact for paper "super-charging Object-Oriented Programming through Precise Typing of Open Recursion" at ECOOP 2023 (https://2023.ecoo…☆11Jul 20, 2023Updated 3 years ago
- ☆24Oct 6, 2026Updated 3 weeks ago
- An IntelliJ plugin providing inspections and visual enhancements for the Java MethodHandle, VarHandle, and Foreign Function & Memory APIs☆13Oct 13, 2026Updated 2 weeks ago
- VETA - A simple tool do evaluate variant predictors☆11Jun 17, 2024Updated 2 years ago
- Static checker for Java☆89Jan 16, 2025Updated last year
- Assignments for COMP SCI 839 from UW-Madison in Fall 2023☆12Nov 30, 2023Updated 2 years ago
- The Brown Benchmark for Table Types (B2T2)☆70Jul 27, 2025Updated last year
- Lean course materials for Brown CS 22, Spring 2023☆20Nov 20, 2023Updated 2 years ago
- Verifying the SCION architecture using Gobra☆12Sep 22, 2026Updated last month
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Write LaTeX presentations directly from Lean4~☆28Dec 28, 2025Updated 10 months ago
- Dependent Lens FRP and concurrent model in Agda☆12Sep 19, 2026Updated last month
- Capability-based verifier for safe Rust clients of interior mutability☆15Jul 18, 2024Updated 2 years ago
- Show Images in Your Brick TUI Using w3mimgdisplay☆15Jul 31, 2021Updated 5 years ago
- Co-inductive datatypes for Lean☆18Oct 15, 2026Updated 2 weeks ago
- Paper and talk☆56Jul 11, 2023Updated 3 years ago
- Material for the class on verification of distributed and asynchronous systems, developed by Jon Howell and Manos Kapritsos☆13Feb 7, 2025Updated last year
- ☆15Feb 28, 2024Updated 2 years ago
- Repository of the Haskell Blog☆19Oct 21, 2026Updated last week
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- An intermediate verification language☆30Jan 4, 2026Updated 9 months ago
- baby's first liquid type system☆15Aug 15, 2023Updated 3 years ago
- Fixing static analysis violations in Java source code using Datalog☆17Sep 20, 2022Updated 4 years ago
- A code refactoring tool for java created with jgit and spoon for small diffs.☆20Updated this week
- A Kotlin library implementing algebraic effect handlers.☆11Oct 23, 2023Updated 3 years ago
- Regular expression for form validations synthesizer☆16Apr 17, 2025Updated last year
- A memory allocator verified with Verus☆41Updated this week
- An experiment around automated theorem proving in Haskell☆13Aug 2, 2026Updated 2 months ago
- Random variate generation library in C☆10Oct 21, 2026Updated last week
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A toy IO library for Arend☆19Feb 12, 2021Updated 5 years ago
- Experiments with SAT solvers with proofs in Lean 4☆64Jun 23, 2024Updated 2 years ago
- A strongly-typed, compiled dialect of Python.☆13Jan 28, 2024Updated 2 years ago
- Lean 4 port of Iris, a higher-order concurrent separation logic framework☆14Jul 29, 2026Updated 3 months ago
- Type Your Matrices For Great Good☆29Jul 22, 2020Updated 6 years ago
- Kotlin/Java API for various SMT solvers☆42Aug 11, 2026Updated 2 months ago
- A proof-of-concept formal verification tool for WebAssembly.☆11Mar 3, 2024Updated 2 years ago