全部标签
目录标签

#design-by-contract

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

8 条记录
标签为“design-by-contract”按健康指数排序
crates.io
81优秀健康指数
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★ 53↓ 367.8K/月2026年9月13日
MIT2026年9月13日 · 指标 2.10.0
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
PyPI
77良好健康指数
AlexandreDecan/sismic
Sismic Interactive Statechart Model Interpreter and Checker http://sismic.readthedocs.io/
Python★ 169↓ 24.7K/月2026年9月28日
LGPL-3.02026年9月28日 · 指标 2.10.0
NuGet
73良好健康指数
feO2x/Light.GuardClauses
A lightweight .NET library for expressive Guard Clauses.
C#★ 932026年9月13日
MIT2026年9月13日 · 指标 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
NuGet
57中等健康指数
MarkDerman/OrdinaryInfrastructure
A pragmatic set of .NET componentry addressing ordinary use cases for line-of-business application development.
C#★ 32026年10月6日
自定义许可证2026年10月6日 · 指标 2.10.0
—
51中等健康指数
boostorg/contract
Contract programming for C++
C++★ 412026年9月18日
BSL-1.02026年9月18日 · 指标 2.10.0