Todas las etiquetas
Etiqueta del catálogo

#design-by-contract

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
Con la etiqueta «design-by-contract»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★ 41↓ 67.3K/mes21 jul 2026
MPL-2.021 jul 2026 · métricas 2.10.0
NuGet
77Buenoíndice de salud
feO2x/Light.GuardClauses
A lightweight .NET library for expressive Guard Clauses.
C#★ 9324 jul 2026
MIT24 jul 2026 · métricas 2.10.0
crates.io
71Buenoíndice de salud
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/mes23 jul 2026
MIT23 jul 2026 · métricas 2.10.0
Go
65Buenoíndice de salud
gontract/gontract
A require-ensure-library for contract-programming with pre- and postconditions in golang
Go★ 317 jul 2026
LGPL-3.017 jul 2026 · métricas 2.10.0