❤️❤️❤️❤️❤️❤️ 我们已经正式推出微信小程序，在微信中搜索 TrendForge Pro 即可使用小程序，如果使用 Telegram 请搜索 trendforge_tg ❤️❤️❤️❤️❤️❤️
runtimeverification/haskell-backend
项目介绍
驱动K框架的符号执行引擎
The symbolic execution engine powering the K Framework
智能解读
智能标签
使用场景
项目健康度
距上次更新 50 天
平台 Star TOP 31% · Forks 43
本周 +17 ⭐ · 本月 +72 ⭐
50 位贡献者 · 0 条平台评论
缺少 4 项内容
1 项改进建议
- 文档：完善项目文档（截图、AI 分析等）可提升健康度得分
项目信息
赞赏支持
如果本站对你有帮助，欢迎打赏支持
微信
支付宝
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的强类型语言
加载评论中...