StarDayOpen source rankings
Back to rankings

ucsd-progsys / liquidhaskell

Liquid Types For Haskell

Repository stars
1,340All-time #33,852
Fork
167
Last push
updated 6 days ago
Repository created
since 2012
Apps & systemsGeneralHaskellBSD-3-Clause · Permissive
View source

About

Original · GitHub
Liquid Types For Haskell

Summarised by AI from the README; the original prevails

Author description: Liquid Types For Haskell

Basic listing based on official public information; functionality has not been independently evaluated.

Pricing
Pricing not verifiedCheck current official software, hosting, model and infrastructure pricing.

Star trend

1,3401,3411,34111-06 · 1,34010-0810-1310-1810-2310-2811-0211-06
Raw observations · 2
Historical observations
Measured atRepository starsSource
2026-11-07 10:25 UTC1,340Source
2026-11-06 10:11 UTC1,340Source

First collected 2026-11-06Measured at 2026-11-07 10:25 UTCSourceLicense source

Compiled from public project information; not independently tested. · Repository Stars, not unique users · License tiers are derived from metadata. Check obligations for your use; unknown does not mean prohibited.