目录标签

#postcondition

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

2 条记录

标签为“postcondition”按健康指数排序

crates.io

78良好健康指数

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

Rust★ 41↓ 67.3K/月2026年7月21日

MPL-2.02026年7月21日 · 指标 2.10.0

65良好健康指数

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

Go★ 32026年7月17日

LGPL-3.02026年7月17日 · 指标 2.10.0