仓库议题

ucsd-progsys/liquidhaskell

Liquid Types For Haskell

在 GitHub 查看
Star
 (1,306 star)
Fork
 (157 fork)
已索引议题
 (20 个已索引议题)
个开放新手议题
 (20 个开放新手议题)
最近索引
2026年7月4日
最近 GitHub push
2026年5月15日
许可证
BSD 3-Clause "New" or "Revised" License
贡献指南
没有贡献指南
行为准则
没有行为准则
主要语言
Haskell
PR 合并指标
 (平均合并 2天 18小时) (30 天内合并 12 个 PR)
新手标签
good first issue

议题

20 个开放索引议题

RSSAtom
开放
Cannot parse `GHC.Types.:`
good first issue

ucsd-progsys/liquidhaskell #2,193 创建于 2023年7月7日 · Haskell · 1,306 stars

为什么推荐暂无负责人 · 带有初学者友好标签
暂无负责人带有初学者友好标签
13 条评论0 个反应0 负责人
开放
Collect bfq files in CI
good first issue

ucsd-progsys/liquidhaskell #2,020 创建于 2022年6月29日 · Haskell · 1,306 stars

为什么推荐暂无负责人 · 带有初学者友好标签
暂无负责人带有初学者友好标签
4 条评论0 个反应0 负责人
开放
Cannot parse specification
good first issue

ucsd-progsys/liquidhaskell #1,781 创建于 2020年10月22日 · Haskell · 1,306 stars

为什么推荐暂无负责人 · 暂无评论
暂无负责人暂无评论带有初学者友好标签
0 条评论0 个反应0 负责人
开放
Question about Dependent Sums
errormsggood first issue

ucsd-progsys/liquidhaskell #1,615 创建于 2020年2月14日 · Haskell · 1,306 stars

为什么推荐暂无负责人 · 带有初学者友好标签
暂无负责人带有初学者友好标签
9 条评论0 个反应0 负责人