全部标签
目录标签

#postcondition

公开记录中带有此标签的全部仓库——标签来自其 GitHub 主题或软件包注册表发布的关键词。健康度量遵循与记录其余部分相同的版本化方法论。

3 条记录
标签为“postcondition”按健康指数排序
crates.io
78良好健康指数
x52dev/contracts
A Rust crate that implements "design by contract" via procedural macros
Rust★ 50↓ 91K/月2026年9月12日
MPL-2.02026年9月12日 · 指标 2.10.0
Go
62中等健康指数
gontract/gontract
A require-ensure-library for contract-programming with pre- and postconditions in golang
Go★ 32026年9月10日
LGPL-3.02026年9月10日 · 指标 2.10.0