runtimeverificationinc/kframework-k
runtimeverificationinc
K Framework的Docker镜像，提供容器化的K语言工具包，用于编程语言设计、语义定义及形式化程序分析，简化依赖管理，支持快速部署和跨平台使用。
3 星标10K+ 次下载
上次更新：13 天前
frankframework/frankframework
frankframework
一款易用的无状态集成框架，支持消息的修改与交换。
2 星标10K+ 次下载
上次更新：4 天前
frankframework/frank2example
frankframework
Frank!Framework的示例镜像，用于展示该框架的功能及使用方法。
0 星标100K+ 次下载
上次更新：7 天前
frankframework/frank-console
frankframework
展示和管理Frank!Framework的适配器
0 星标100K+ 次下载
上次更新：4 天前
第 1 页