PyPI · crates.io78良好健康指数denehoffman/ladduAmplitude analysis made short and sweetRust★ 6↓ 4,132/月2026年8月18日Apache-2.02026年8月18日 · 指标 2.10.0
npm · PyPI39薄弱健康指数sthamann/tfptTopological Fixed-Point Theory: a machine-checked discrete compiler for the Standard Model, α⁻¹, and cosmology from two axioms. Papers, verification suite (Python/Wolfram/Lean), experiments & website.Python · TeX · TypeScript★ 7152026年7月21日无许可证2026年7月21日 · 指标 2.10.0