全部标签
目录标签

#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/月2026年7月21日
MPL-2.02026年7月21日 · 指标 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/月2026年7月23日
MIT2026年7月23日 · 指标 1.13.0
Go
58中等健康指数
gontract/gontract
A require-ensure-library for contract-programming with pre- and postconditions in golang
Go★ 32026年7月17日
LGPL-3.02026年7月17日 · 指标 1.13.0