ucsd-progsys/liquidhaskell
Some data may be outdated — see provenance labels.
Liquid Types For Haskell observed · 2026-10-02
Health v2 · maintenance only
90/100
- Activity 97
- Release rhythm 75
- Longevity 100
How is this computed?
round(0.45*activity + 0.35*rhythm + 0.20*longevity); archived -> min(score, 10) — computed 2026-10-21. Adoption (stars, forks) is never an input.
- gap_med: 15
- age_days: 5141
- days_rel: 166
- days_push: 19
- n_releases_24m: 6
Adoption not part of the score
1334 stars · 165 forks observed · 2026-10-02
What it is AI-extracted, prompt v1, taxonomy v1, 2026-08-30, confidence not recorded
LiquidHaskell is a formal verification tool that brings refinement types to Haskell via a GHC plugin. It uses the Z3 SMT solver to statically prove properties about Haskell programs at compile time.
Use cases
- verify Haskell code for correctness at compile time
- add refinement types to Haskell functions
- prove invariants like non-empty lists or sorted vectors
- catch division-by-zero and out-of-bounds errors statically
- formally verify library code written in Haskell
When to choose
- you write Haskell and want machine-checked correctness guarantees
- you need to encode and prove pre- and post-conditions on functions
- you want to eliminate certain runtime errors without dynamic checks
When to avoid
- you work in languages other than Haskell
- you need lightweight type checking without SMT solver setup
- your build cannot tolerate extra verification time or a Z3 dependency
Facets
library · maturity active
type-system testing security programming-languages developer-tools windows cli haskell refinement-types formal-verification smt-solver ghc-plugin liquid-types algorithms linux macos
1 source
- readme: https://github.com/ucsd-progsys/liquidhaskell · fetched 2026-10-02 · 17b21db8396d
Member repositories
| Repository | Role | Health v2 |
|---|---|---|
| ucsd-progsys/liquidhaskell | main | 90 |
For agents
markdown · JSON · MCP: product_card(name="ucsd-progsys/liquidhaskell")
Data as of 2026-10-19T08:05:51.212177+00:00 · Report a problem