Katalog-Tag

#formalization

Alle Repositories im öffentlichen Register, die dieses Tag tragen — aus ihren GitHub-Topics oder den von ihren Paket-Registries veröffentlichten Schlagwörtern. Die Gesundheit wird nach derselben versionierten Methodik gemessen wie im übrigen Register.

1 Eintrag

Getaggt als „formalization“Geordnet nach Gesundheitsindex

PyPI

73GutGesundheitsindex

eic/EpsilonEridaniWorker

`epsiloneridani` keeps the EpsilonEridani Lean library moving, using a "bring your own agent" approach

Python★ 0↓ 2.023/Monat10. Okt. 2026

Apache-2.010. Okt. 2026 · Metriken 2.10.0