PyPI93卓越健康指数devitocodes/devitoDSL and compiler framework for automated finite-differences and stencil computationPython★ 717↓ 6,521/月2026年10月25日MIT2026年10月25日 · 指标 2.10.0
PyPI · npm · crates.io +186优秀健康指数QWED-AI/qwed-verificationOpen-source AI verification infrastructure for deterministic verification of LLM outputs, tool calls, code, schemas, and agent state before production execution.Python★ 58↓ 764/月2026年9月18日Apache-2.02026年9月18日 · 指标 2.10.0
PyPI30存在风险健康指数Symbulator/solverSymbolic linear-circuit analysis engine, built on SymPyPython · Jupyter Notebook★ 0↓ 6,847/月2026年9月15日MIT2026年9月15日 · 指标 2.10.0