Alle Tags
Katalog-Tag

#code-verification

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 „code-verification“Geordnet nach Gesundheitsindex
crates.io
61MittelGesundheitsindex
aretta-ai/aristo
An SDK for verifiable intent, inline with code: one-line claims above your functions, verified at the rigor you choose and flagged when they drift. Agent-first, MIT.
Rust★ 32↓ 68K/Monat23. Juli 2026
MIT23. Juli 2026 · Metriken 1.13.0