Тег каталогу

#design-by-contract

Усі репозиторії публічного реєстру з цим тегом — із тем GitHub або ключових слів, які публікують їхні реєстри пакетів. Здоров'я вимірюється за тією ж версіонованою методологією, що й решта реєстру.

3 записи

З тегом «design-by-contract»Упорядковано за індексом здоров'я

crates.io

65Помірнийіндекс здоров'я

x52dev/contracts

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

Rust★ 41↓ 67.3K/міс21 лип. 2026 р.

MPL-2.021 лип. 2026 р. · метрики 1.13.0

crates.io

61Помірнийіндекс здоров'я

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/міс23 лип. 2026 р.

MIT23 лип. 2026 р. · метрики 1.13.0

58Помірнийіндекс здоров'я

gontract/gontract

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

Go★ 317 лип. 2026 р.

LGPL-3.017 лип. 2026 р. · метрики 1.13.0