Data

Tools

Indexes

Applications

Experiments

Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

crates.io "design-by-contract" keyword

View the packages on the crates.io package registry that are tagged with the "design-by-contract" keyword.

adhesion 0.5.0 💰
A set of macros for design by contact in Rust. The design of this library was inspired by D's con...
5 versions - Latest release: over 7 years ago - 8.5 thousand downloads total - 54 stars on GitHub - 1 maintainer
callback_fn 0.1.0
A library for callback functions.
1 version - Latest release: over 1 year ago - 1.34 thousand downloads total - 2 stars on GitHub - 1 maintainer
Top 9.4% on crates.io
contracts 0.6.6 💰
Design-by-contract attributes
17 versions - Latest release: 3 months ago - 23 dependent packages - 76 dependent repositories - 775 thousand downloads total - 14 stars on GitHub - 1 maintainer
disabled_contracts 0.1.0
A clearly stub version of the `contracts` crate.
1 version - Latest release: about 4 years ago - 1 dependent package - 1 dependent repositories - 49.4 thousand downloads total - 0 stars on GitHub - 2 maintainers
contracts-try 0.7.0
Design-by-contract attributes
1 version - Latest release: 10 months ago - 5.5 thousand downloads total - 0 stars on codeberg.org - 1 maintainer
Related Keywords
invariant 4 postcondition 3 precondition 3 verification 3 rust 2 contract 1 design 1 contract-testing 1 contracts-programming 1 design-by-contracts 1 design-patterns 1 macro 1 callback 1 rust-macro 1