Katalog-Tag

#cvc5

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.

4 Einträge

Getaggt als „cvc5“Geordnet nach Gesundheitsindex

PyPI

84ExzellentGesundheitsindex

formalsec/smtml

An SMT solver frontend for OCaml

OCaml★ 8117. Sept. 2026

MIT17. Sept. 2026 · Metriken 2.10.0

—

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

crates.io

78GutGesundheitsindex

Rust interface for cvc5

Rust★ 16↓ 3.093/Monat2. Okt. 2026

BSD-3-Clause2. Okt. 2026 · Metriken 2.10.0

PyPI

47SchwachGesundheitsindex

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↓ 1.266/Monat9. Sept. 2026

MIT9. Sept. 2026 · Metriken 2.10.0