Katalog-Tag

#cvc4

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 „cvc4“Geordnet nach Gesundheitsindex

—

81ExzellentGesundheitsindex

epfl-lara/stainless

Verification framework and tool for higher-order Scala programs. https://gitlab.epfl.ch/lara/stainless

Scala★ 40719. Okt. 2026

Apache-2.019. Okt. 2026 · Metriken 2.10.0