PyPI
formalsec/smtml
An SMT solver frontend for OCaml
MIT17 sept 2026 · métricas 2.10.0
Todas las etiquetas
Etiqueta del catálogo
#cvc5
Todos los repositorios del registro público que llevan esta etiqueta, procedente de sus topics de GitHub o de las palabras clave que publican sus registros de paquetes. La salud se mide con la misma metodología versionada que el resto del registro.
4 registros
—
epfl-lara/stainless
Verification framework and tool for higher-order Scala programs. https://gitlab.epfl.ch/lara/stainless
Apache-2.019 oct 2026 · métricas 2.10.0
crates.io
cvc5/cvc5-rs
Rust interface for cvc5
BSD-3-Clause2 oct 2026 · métricas 2.10.0
PyPI
CharlesCNorton/touchstone
An SMT-based verifier and type inferencer for Python: proves contracts, equivalence, and trap-freedom (with counterexamples) over a Rocq trust base.
MIT9 sept 2026 · métricas 2.10.0