crates.io
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.
MIT13 вер. 2026 р. · метрики 2.10.0
Усі теги
Тег каталогу
#design-by-contract
Усі репозиторії публічного реєстру з цим тегом — із тем GitHub або ключових слів, які публікують їхні реєстри пакетів. Здоров'я вимірюється за тією ж версіонованою методологією, що й решта реєстру.
8 записів
crates.io
x52dev/contracts
A Rust crate that implements "design by contract" via procedural macros
MPL-2.012 вер. 2026 р. · метрики 2.10.0
PyPI
AlexandreDecan/sismic
Sismic Interactive Statechart Model Interpreter and Checker http://sismic.readthedocs.io/
LGPL-3.028 вер. 2026 р. · метрики 2.10.0
NuGet
feO2x/Light.GuardClauses
A lightweight .NET library for expressive Guard Clauses.
MIT13 вер. 2026 р. · метрики 2.10.0
Go
gontract/gontract
A require-ensure-library for contract-programming with pre- and postconditions in golang
LGPL-3.010 вер. 2026 р. · метрики 2.10.0
NuGet
MarkDerman/OrdinaryInfrastructure
A pragmatic set of .NET componentry addressing ordinary use cases for line-of-business application development.
Власна ліцензія6 жовт. 2026 р. · метрики 2.10.0
—
boostorg/contract
Contract programming for C++
BSL-1.018 вер. 2026 р. · метрики 2.10.0
NuGet
synergy-software/synergy.framework
Опис репозиторію не опубліковано.
MIT18 вер. 2026 р. · метрики 2.10.0