# sthamann/tfpt

<https://repo.masters-masters.com/repos/sthamann/tfpt>

[Accueil](https://repo.masters-masters.com/) › [sthamann](https://repo.masters-masters.com/owners/sthamann) › [tfpt](https://repo.masters-masters.com/repos/sthamann/tfpt)

sthamann/tfpt, dépôt open source à 445 étoiles sur GitHub. Carte Alpha de RepoMasters. Topological Fixed-Point Theory: a machine-checked discrete compiler for…

| Champ | Valeur |
| --- | --- |
| Propriétaire | [sthamann](https://repo.masters-masters.com/owners/sthamann) |
| Étoiles | 445 |
| Forks | 1 |
| Langage | [Python](https://repo.masters-masters.com/languages/python) |
| Licence | Aucune |
| Création | 2026 |
| Sujets | cosmology, latex, lean4, mathematical-physics, nextjs, particle-physics, python, reproducible-research, standard-model, theoretical-physics |
| Rang | [Alpha (250 à 699 ★)](https://repo.masters-masters.com/ranks/b_movie) |
| Voir sur GitHub | [sthamann/tfpt](https://github.com/sthamann/tfpt) |

## Fiche du dépôt

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.

Rang des dépôts qui ont 250 à 699 ★ sur GitHub. Probabilité publiée par carte tirée : 20 %. Rareté : Peu commune.

## Autres dépôts de sthamann

- [sthamann/nyx-local-ai · ★ 129 · TypeScript · Prototype](https://repo.masters-masters.com/repos/sthamann/nyx-local-ai)

## D’autres dépôts Python

- [FujitsuResearch/OneCompression · ★ 445 · Python · Alpha](https://repo.masters-masters.com/repos/FujitsuResearch/OneCompression)
- [lllyasviel/VCC · ★ 445 · Python · Alpha](https://repo.masters-masters.com/repos/lllyasviel/VCC)
- [DY-2026/GameDesignOS · ★ 445 · Python · Alpha](https://repo.masters-masters.com/repos/DY-2026/GameDesignOS)
- [uber/clay · ★ 445 · Python · Alpha](https://repo.masters-masters.com/repos/uber/clay)
- [OCA/reporting-engine · ★ 445 · Python · Alpha](https://repo.masters-masters.com/repos/OCA/reporting-engine)
- [nservant/HiC-Pro · ★ 445 · Python · Alpha](https://repo.masters-masters.com/repos/nservant/HiC-Pro)

---
Données : GitHub · Illustration dessinée par RepoMasters à partir de l’identifiant du dépôt et de la couleur de son langage.