{"adoption": {"forks": 162, "observed_at": "2026-08-28T04:04:24.414910+00:00", "stars": 1332}, "canonical_url": "https://ross.abutalabs.com/products/liquidhaskell", "card": {"archived": false, "artifact_type": "library", "description": "Liquid Types For Haskell", "domain": ["programming-languages", "developer-tools"], "enriched": true, "function": ["type-system", "testing", "security"], "health_score": 99, "homepage": null, "language": "Haskell", "license": "BSD-3-Clause", "license_family": "permissive", "maturity": "active", "member_repos": ["ucsd-progsys/liquidhaskell"], "name": "ucsd-progsys/liquidhaskell", "platform": ["windows", "cli"], "pushed_at": "2026-08-24T15:29:44+00:00", "repo": "ucsd-progsys/liquidhaskell", "stars": 1332, "tags": ["haskell", "refinement-types", "formal-verification", "smt-solver", "ghc-plugin", "liquid-types", "algorithms", "linux", "macos"], "topics": ["haskell", "refinement-types", "smt", "verification"], "urls": [], "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"], "what_it_is": "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.", "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"], "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"]}, "data_as_of": "2026-08-30T08:39:29.467469+00:00", "members": [{"path": "/products/liquidhaskell", "repo": "ucsd-progsys/liquidhaskell", "role": "main", "score": 94}], "provenance": {"archived": {"kind": "observed", "observed_at": "2026-08-28T04:04:24.414910+00:00", "source": "github"}, "artifact_type": {"confidence": null, "enriched_at": "2026-08-30T04:45:14.167747+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "17b21db8396dcd8f926688750bcee13e4dd5f0649ef3147c58fb56ffb8a5743d", "fetched_at": "2026-08-28T04:04:24.414910+00:00", "kind": "readme", "missing": false, "url": "https://github.com/ucsd-progsys/liquidhaskell"}], "taxonomy_version": 1}, "description": {"kind": "observed", "observed_at": "2026-08-28T04:04:24.414910+00:00", "source": "github"}, "domain": {"confidence": null, "enriched_at": "2026-08-30T04:45:14.167747+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "17b21db8396dcd8f926688750bcee13e4dd5f0649ef3147c58fb56ffb8a5743d", "fetched_at": "2026-08-28T04:04:24.414910+00:00", "kind": "readme", "missing": false, "url": "https://github.com/ucsd-progsys/liquidhaskell"}], "taxonomy_version": 1}, "enriched": {"inputs": [], "kind": "computed", "method": "enrichment_status"}, "function": {"confidence": null, "enriched_at": "2026-08-30T04:45:14.167747+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "17b21db8396dcd8f926688750bcee13e4dd5f0649ef3147c58fb56ffb8a5743d", "fetched_at": "2026-08-28T04:04:24.414910+00:00", "kind": "readme", "missing": false, "url": "https://github.com/ucsd-progsys/liquidhaskell"}], "taxonomy_version": 1}, "health_score": {"inputs": ["days_since_push", "days_since_release", "archived"], "kind": "computed", "method": "health_v1"}, "homepage": {"kind": "observed", "observed_at": "2026-08-28T04:04:24.414910+00:00", "source": "github"}, "language": {"kind": "observed", "observed_at": "2026-08-28T04:04:24.414910+00:00", "source": "github"}, "license": {"kind": "observed", "observed_at": "2026-08-28T04:04:24.414910+00:00", "source": "github"}, "license_family": {"inputs": ["license"], "kind": "computed", "method": "license_family"}, "maturity": {"confidence": null, "enriched_at": "2026-08-30T04:45:14.167747+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "17b21db8396dcd8f926688750bcee13e4dd5f0649ef3147c58fb56ffb8a5743d", "fetched_at": "2026-08-28T04:04:24.414910+00:00", "kind": "readme", "missing": false, "url": "https://github.com/ucsd-progsys/liquidhaskell"}], "taxonomy_version": 1}, "member_repos": {"kind": "observed", "observed_at": "2026-08-28T04:04:24.414910+00:00", "source": "github"}, "name": {"kind": "observed", "observed_at": "2026-08-28T04:04:24.414910+00:00", "source": "github"}, "platform": {"confidence": null, "enriched_at": "2026-08-30T04:45:14.167747+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "17b21db8396dcd8f926688750bcee13e4dd5f0649ef3147c58fb56ffb8a5743d", "fetched_at": "2026-08-28T04:04:24.414910+00:00", "kind": "readme", "missing": false, "url": "https://github.com/ucsd-progsys/liquidhaskell"}], "taxonomy_version": 1}, "pushed_at": {"kind": "observed", "observed_at": "2026-08-28T04:04:24.414910+00:00", "source": "github"}, "repo": {"kind": "observed", "observed_at": "2026-08-28T04:04:24.414910+00:00", "source": "github"}, "stars": {"kind": "observed", "observed_at": "2026-08-28T04:04:24.414910+00:00", "source": "github"}, "tags": {"confidence": null, "enriched_at": "2026-08-30T04:45:14.167747+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "17b21db8396dcd8f926688750bcee13e4dd5f0649ef3147c58fb56ffb8a5743d", "fetched_at": "2026-08-28T04:04:24.414910+00:00", "kind": "readme", "missing": false, "url": "https://github.com/ucsd-progsys/liquidhaskell"}], "taxonomy_version": 1}, "topics": {"kind": "observed", "observed_at": "2026-08-28T04:04:24.414910+00:00", "source": "github"}, "urls": {"kind": "observed", "observed_at": "2026-08-28T04:04:24.414910+00:00", "source": "github"}, "use_cases": {"confidence": null, "enriched_at": "2026-08-30T04:45:14.167747+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "17b21db8396dcd8f926688750bcee13e4dd5f0649ef3147c58fb56ffb8a5743d", "fetched_at": "2026-08-28T04:04:24.414910+00:00", "kind": "readme", "missing": false, "url": "https://github.com/ucsd-progsys/liquidhaskell"}], "taxonomy_version": 1}, "what_it_is": {"confidence": null, "enriched_at": "2026-08-30T04:45:14.167747+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "17b21db8396dcd8f926688750bcee13e4dd5f0649ef3147c58fb56ffb8a5743d", "fetched_at": "2026-08-28T04:04:24.414910+00:00", "kind": "readme", "missing": false, "url": "https://github.com/ucsd-progsys/liquidhaskell"}], "taxonomy_version": 1}, "when_to_avoid": {"confidence": null, "enriched_at": "2026-08-30T04:45:14.167747+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "17b21db8396dcd8f926688750bcee13e4dd5f0649ef3147c58fb56ffb8a5743d", "fetched_at": "2026-08-28T04:04:24.414910+00:00", "kind": "readme", "missing": false, "url": "https://github.com/ucsd-progsys/liquidhaskell"}], "taxonomy_version": 1}, "when_to_choose": {"confidence": null, "enriched_at": "2026-08-30T04:45:14.167747+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "17b21db8396dcd8f926688750bcee13e4dd5f0649ef3147c58fb56ffb8a5743d", "fetched_at": "2026-08-28T04:04:24.414910+00:00", "kind": "readme", "missing": false, "url": "https://github.com/ucsd-progsys/liquidhaskell"}], "taxonomy_version": 1}}, "score": {"components": {"activity": 99, "longevity": 100, "rhythm": 83}, "computed_at": "2026-09-02T17:46:02.011165+00:00", "flags": [], "formula": "round(0.45*activity + 0.35*rhythm + 0.20*longevity); archived -> min(score, 10)", "inputs": {"age_days": 5093, "days_push": 9, "days_rel": 118, "gap_med": 15, "n_releases_24m": 6}, "score": 94, "version": 2}, "staleness": {"enrichment_outdated": false, "low_confidence": false, "scrape_days": 9, "stale_scrape": false}}