Etiqueta del catálogo

#mathematical-physics

Todos los repositorios del registro público que llevan esta etiqueta, procedente de sus topics de GitHub o de las palabras clave que publican sus registros de paquetes. La salud se mide con la misma metodología versionada que el resto del registro.

1 registro

Con la etiqueta «mathematical-physics»Ordenado por índice de salud

npm · PyPI

41En riesgoíndice de salud

sthamann/tfpt

Topological 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★ 71521 jul 2026

Sin licencia21 jul 2026 · métricas 1.13.0