目录标签

#unification

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

2 条记录

标签为“unification”按健康指数排序

npm · Go

75良好健康指数

Ontology support system for agent development

TypeScript · Go · HTML★ 11↓ 5,395/月2026年9月14日

MIT2026年9月14日 · 指标 2.10.0

crates.io

51中等健康指数

An implementation of union-find / congruence-closure in Rust. Extracted from rustc for independent experimentation.

Rust★ 175↓ 4.4M/月2026年9月23日

Apache-2.02026年9月23日 · 指标 2.10.0