Katalog-Tag

#design-by-contract

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.

3 Einträge

Getaggt als „design-by-contract“Geordnet nach Gesundheitsindex

crates.io

65MittelGesundheitsindex

x52dev/contracts

A Rust crate that implements "design by contract" via procedural macros

Rust★ 41↓ 67.3K/Monat21. Juli 2026

MPL-2.021. Juli 2026 · Metriken 1.13.0

crates.io

61MittelGesundheitsindex

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/Monat23. Juli 2026

MIT23. Juli 2026 · Metriken 1.13.0

58MittelGesundheitsindex

gontract/gontract

A require-ensure-library for contract-programming with pre- and postconditions in golang

Go★ 317. Juli 2026

LGPL-3.017. Juli 2026 · Metriken 1.13.0