目录标签

#abstract-interpretation

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

2 条记录

标签为“abstract-interpretation”按健康指数排序

npm

91优秀健康指数

Sophisticated static program analysis framework for the R programming language.

TypeScript★ 104↓ 13.3K/月2026年9月10日

GPL-3.02026年9月10日 · 指标 2.10.0

—

81优秀健康指数

eBPF verifier based on abstract interpretation

C++★ 4712026年10月2日

MIT2026年10月2日 · 指标 2.10.0