目录标签

#formal-ai

公开记录中带有此标签的全部仓库——标签来自其 GitHub 主题或软件包注册表发布的关键词。健康度量遵循与记录其余部分相同的版本化方法论。

1 条记录

标签为“formal-ai”按健康指数排序

crates.io · npm

81优秀健康指数

Symbolic first, formal, logical, and data driven associative language processor

Rust · JavaScript★ 6↓ 1,774/月2026年9月17日

Unlicense2026年9月17日 · 指标 2.10.0