倉庫議題

ucsd-progsys/liquidhaskell

Liquid Types For Haskell

在 GitHub 查看
Star
 (1,306 star)
Fork
 (157 fork)
已索引議題
 (20 個已索引議題)
個開放新手議題
 (20 個開放新手議題)
最近索引
2026年7月16日
最近 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 負責人