Katalog-Tag

#formal-methods

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.

3 Einträge

Getaggt als „formal-methods“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

—

60MittelGesundheitsindex

PrincetonUniversity/VST

Verified Software Toolchain

Rocq Prover★ 50419. Juli 2026

Eigene Lizenz19. Juli 2026 · Metriken 1.13.0

PyPI

49GefährdetGesundheitsindex

CharlesCNorton/touchstone

An SMT-based verifier and type inferencer for Python: proves contracts, equivalence, and trap-freedom (with counterexamples) over a Rocq trust base.

Python★ 8↓ 32K/Monat16. Juli 2026

MIT16. Juli 2026 · Metriken 1.13.0