AlloyTools/org.alloytools.alloy
@AlloyToolsAlloy 是一种用于描述结构的语言以及用于探索结构的工具。它已被广泛应用于各种应用中，从寻找安全机制的漏洞到设计电话交换网络。此存储库包含该工具的代码。
星数
865
Fork 数
149
语言
Java
许可
NOASSERTION
最后推送
3个月前
相关情报（0）
还没有相关情报
radar 追踪的来源里还没有出现过这个 repo。收集器按计划运行——等它覆盖到这个 repo 再回来看看。
Alloy 是一种用于描述结构的语言以及用于探索结构的工具。它已被广泛应用于各种应用中，从寻找安全机制的漏洞到设计电话交换网络。此存储库包含该工具的代码。
radar 追踪的来源里还没有出现过这个 repo。收集器按计划运行——等它覆盖到这个 repo 再回来看看。