ucsd-progsys/liquidhaskell
项目介绍
Haskell 的液体类型
Liquid Types For Haskell
智能解读
智能标签
使用场景
项目健康度
距上次更新 9 天
平台 Star TOP 65% · Forks 154
本周 +2 ⭐ · 本月 +7 ⭐
85 位贡献者 · 0 条平台评论
缺少 3 项内容
1 项改进建议
- 增长：近期 Star 增长缓慢，项目热度有待提升
项目信息
赞赏支持
如果本站对你有帮助，欢迎打赏支持
微信
支付宝
Widget 徽章
相关项目推荐
jgm/pandoc
通用标记转换器
koalaman/shellcheck
ShellCheck：用于Shell脚本的静态分析工具
PostgREST/postgrest
适用于任意Postgres数据库的REST API
hadolint/hadolint
用Haskell编写的Dockerfile语法检查工具，可验证内联bash代码
simplex-chat/simplex-chat
SimpleX - 首个无需任何用户标识符的通信网络，设计实现100%隐私保护！提供iOS、Android和桌面应用📱！
purescript/purescript
一种可编译为JavaScript的强类型语言
加载评论中...