ucsd-progsys

ucsd-progsys/liquidhaskell

Liquid Types For Haskell

1.3K stars 164 forks 1.3K watchers Haskell BSD 3-Clause "New" or "Revised" License

haskell refinement-types smt verification

3 Open Issues Need Help Last updated: Aug 28, 2026

Open Issues Need Help

View All on GitHub

Liquid Haskell should accept `UnicodeSyntax` 2 days ago

good first issue

ucsd-progsys/liquidhaskell

1.3K

Liquid Types For Haskell

Haskell

#haskell#refinement-types#smt#verification

Collect bfq files in CI 6 months ago

good first issue

ucsd-progsys/liquidhaskell

1.3K

Liquid Types For Haskell

Haskell

#haskell#refinement-types#smt#verification

Document that specs can depend on arguments of enclosing functions 6 months ago

documentation good first issue

ucsd-progsys/liquidhaskell

1.3K

Liquid Types For Haskell

Haskell

#haskell#refinement-types#smt#verification