开源序GitHub 开源项目排行

ucsd-progsys / liquidhaskell

Haskell中的液体类型

仓库 Star: 1,340总榜 #33,852
Fork: 167
最近推送: 6 天前更新
仓库创建: 2012 年创建

应用与完整系统通用HaskellBSD-3-Clause · 宽松，可直接商用

用途与标签

项目原文 · GitHub

Liquid Types For Haskell

Star 走势

原始观测记录 · 2

历史观测
采集时间	仓库 Star	数据来源
2026-11-07 10:25 UTC	1,340	数据来源
2026-11-06 10:11 UTC	1,340	数据来源