Repository Issues

ucsd-progsys/liquidhaskell

Liquid Types For Haskell

View on GitHub
Stars
 (1,306 stars)
Forks
 (157 forks)
Indexed issues
 (20 indexed issues)
open beginner issues
 (20 open beginner issues)
Latest indexed
Jul 4, 2026
Last GitHub push
May 15, 2026
License
BSD 3-Clause "New" or "Revised" License
Contributing guide
No contributing guide
Code of conduct
No code of conduct
Dominant language
Haskell
PR merge metrics
 (Avg merge 2d 18h) (12 merged PRs in 30d)
Beginner labels
good first issue

Issues

20 open indexed issues

RSSAtom
Open
Cannot parse `GHC.Types.:`
good first issue

ucsd-progsys/liquidhaskell #2,193 opened Jul 7, 2023 · Haskell · 1,306 stars

Why recommendedNo assignee yet · Has a beginner-friendly label
No assignee yetHas a beginner-friendly label
13 comments0 reactions0 assignees
Open
Collect bfq files in CI
good first issue

ucsd-progsys/liquidhaskell #2,020 opened Jun 29, 2022 · Haskell · 1,306 stars

Why recommendedNo assignee yet · Has a beginner-friendly label
No assignee yetHas a beginner-friendly label
4 comments0 reactions0 assignees
Open
Cannot parse specification
good first issue

ucsd-progsys/liquidhaskell #1,781 opened Oct 22, 2020 · Haskell · 1,306 stars

Why recommendedNo assignee yet · No comments yet
No assignee yetNo comments yetHas a beginner-friendly label
0 comments0 reactions0 assignees
Open
Question about Dependent Sums
errormsggood first issue

ucsd-progsys/liquidhaskell #1,615 opened Feb 14, 2020 · Haskell · 1,306 stars

Why recommendedNo assignee yet · Has a beginner-friendly label
No assignee yetHas a beginner-friendly label
9 comments0 reactions0 assignees