❤️❤️❤️❤️❤️❤️ 我们已经正式推出微信小程序，在微信中搜索 TrendForge Pro 即可使用小程序，如果使用 Telegram 请搜索 trendforge_tg ❤️❤️❤️❤️❤️❤️

每日 每周 每月
2026-07-20
返回报告
🏷️

#refinement-types 每日趋势报告

📅 2026-07-20
📊 1 个项目

🔥 #refinement-types 每日热门项目

ucsd-progsys/liquidhaskell

Haskell

Haskell 的液体类型

haskell refinement-types smt
ucsd-progsys
ucsd-progsys 开发者
1.3k
159
442
+1
排名 #6
7月20日
查看详情

📊 数据统计

1 个热门项目
2026-07-20 数据日期

🔥 TrendForge - 追踪开源项目热度，发现技术趋势

助手