All tags
Catalogue tag

#design-by-contract

Every repository in the public record carrying this tag — from its GitHub topics or the keywords its package registries publish. Health is measured under the same versioned methodology as the rest of the record.

4 records
Tagged “design-by-contract”Ranked by health index
crates.io
78Goodhealth index
x52dev/contracts
A Rust crate that implements "design by contract" via procedural macros
Rust★ 41↓ 67.3K/moJul 21, 2026
MPL-2.0Jul 21, 2026 · metrics 2.10.0
NuGet
77Goodhealth index
feO2x/Light.GuardClauses
A lightweight .NET library for expressive Guard Clauses.
C#★ 93Jul 24, 2026
MITJul 24, 2026 · metrics 2.10.0
crates.io
71Goodhealth index
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/moJul 23, 2026
MITJul 23, 2026 · metrics 2.10.0
Go
65Goodhealth index
gontract/gontract
A require-ensure-library for contract-programming with pre- and postconditions in golang
Go★ 3Jul 17, 2026
LGPL-3.0Jul 17, 2026 · metrics 2.10.0