Todas las etiquetas
Etiqueta del catálogo

#postcondition

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.

3 registros
Con la etiqueta «postcondition»Ordenado por índice de salud
crates.io
78Buenoíndice de salud
x52dev/contracts
A Rust crate that implements "design by contract" via procedural macros
Rust★ 50↓ 91K/mes12 sept 2026
MPL-2.012 sept 2026 · métricas 2.10.0
Go
62Moderadoíndice de salud
gontract/gontract
A require-ensure-library for contract-programming with pre- and postconditions in golang
Go★ 310 sept 2026
LGPL-3.010 sept 2026 · métricas 2.10.0