ucsd-progsys/liquidhaskell

liquidhaskell

✅ Recently maintained

Liquid Types For Haskell

1,338Stars
167Forks
+47-day stars

Haskell · BSD-3-Clause · Last push 2026-11-01

Official repository & installation ↗
haskellrefinement-typessmtverification

GitValue · Value evidence

Unscored · Evidence coverage 0%

Provisional rubric; documentation and runtime testing are separate. Missing evidence does not imply low value.

Star history

2025-09-292026-11-03
View historical data
DateStars
2026-10-051,333
2026-10-061,333
2026-10-071,333
2026-10-081,333
2026-10-091,333
2026-10-101,333
2026-10-111,334
2026-10-121,334
2026-10-131,334
2026-10-141,334
2026-10-151,334
2026-10-161,334
2026-10-171,334
2026-10-181,334
2026-10-191,334
2026-10-201,334
2026-10-211,334
2026-10-221,334
2026-10-231,334
2026-10-241,334
2026-10-251,334
2026-10-261,334
2026-10-271,334
2026-10-281,335
2026-10-291,335
2026-10-301,338
2026-10-311,338
2026-11-011,338
2026-11-021,338
2026-11-031,338

Get the project

git clone https://github.com/ucsd-progsys/liquidhaskell.git

Cloning downloads the source. For dependencies and installation, follow the project README.

Related projects & alternative candidates

Related domains do not imply feature parity. Review official documentation and licenses.